Project

General

Profile

Task #2765

Annotating variables with clocks

Added by Alexander Kamkin over 8 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
04/17/2012
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

Each design's variable (reg or net) should be annotated with clocks synchronizing the usage and definition of the variable. A solution should be suggested (documentation in wiki + IG-based implementation).

Some Ideas

use_clk(var) = union { clk | always(clk) where var is used } union { use_clk(lhs) | assign lhs = f(..., var, ...) }
def_clk(var) = union { clk | always(clk) where var is defined } union { def_clk(rhs) | assign var = f(..., rhs, ...) }

History

#1

Updated by Alexander Kamkin over 8 years ago

  • Description updated (diff)
#2

Updated by Sergey Smolov over 8 years ago

  • Status changed from New to Open
#3

Updated by Sergey Smolov about 8 years ago

Саша, задача ещё актуальна?

Спрашиваю потому, что её место в текущей "картине мира" мне совершенно непонятно. Ясно, что она возникла из желания следовать определению clocked guarded actions от команды из Kaiserslautern, но есть ли в ней практический смысл?

#4

Updated by Sergey Smolov about 8 years ago

  • Status changed from Open to Feedback
  • Assignee changed from Sergey Smolov to Alexander Kamkin
#5

Updated by Alexander Kamkin about 8 years ago

Смысл есть. Пока не закрываем.

#6

Updated by Sergey Smolov about 8 years ago

  • Status changed from Feedback to Open
  • Assignee changed from Alexander Kamkin to Sergey Smolov
#7

Updated by Alexander Kamkin almost 8 years ago

  • Project changed from GAA Extractor to Retrascope
#8

Updated by Alexander Kamkin over 6 years ago

  • Status changed from Open to Closed

Also available in: Atom PDF