Hardware Design and Petri Nets 2000
DOI: 10.1007/978-1-4757-3143-9_8
|View full text |Cite
|
Sign up to set email alerts
|

Deriving Signal Transition Graphs from Behavioral Verilog HDL

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 14 publications
0
1
0
Order By: Relevance
“…Graph specification is not straightforward to recognize the functionality of system, error prone and difficult to debug, so for complex system, it is too large and tedious to manage. Thereafter, high-level language based description approaches are proposed [64,65]. Employing existing HDL language to specify async circuits from the system level not only mask the complexity of systems, but also enable off-the-shelf commercial EDA tools to verify functionality, which is definitely a promising interface with current sync design flow.…”
Section: Logic Synthesismentioning
confidence: 99%
“…Graph specification is not straightforward to recognize the functionality of system, error prone and difficult to debug, so for complex system, it is too large and tedious to manage. Thereafter, high-level language based description approaches are proposed [64,65]. Employing existing HDL language to specify async circuits from the system level not only mask the complexity of systems, but also enable off-the-shelf commercial EDA tools to verify functionality, which is definitely a promising interface with current sync design flow.…”
Section: Logic Synthesismentioning
confidence: 99%