Actions
Task #2765
closedAnnotating variables with clocks
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, ...) }
Updated by Sergey Smolov over 11 years ago
Саша, задача ещё актуальна?
Спрашиваю потому, что её место в текущей "картине мира" мне совершенно непонятно. Ясно, что она возникла из желания следовать определению clocked guarded actions от команды из Kaiserslautern, но есть ли в ней практический смысл?
Updated by Sergey Smolov over 11 years ago
- Status changed from Open to Feedback
- Assignee changed from Sergey Smolov to Alexander Kamkin
Updated by Sergey Smolov over 11 years ago
- Status changed from Feedback to Open
- Assignee changed from Alexander Kamkin to Sergey Smolov
Updated by Alexander Kamkin about 11 years ago
- Project changed from 80 to Retrascope
Updated by Alexander Kamkin almost 10 years ago
- Status changed from Open to Closed
Actions