Old Web
English
Sign In
Acemap
>
Paper
>
Checker Generation of Assertions with Local Variables for Model Checking
Checker Generation of Assertions with Local Variables for Model Checking
2008
Takeuchi Sho
Hamaguchi Kiyoharu
Kakiuchi Yosuke
Kashiwabara Toshinobu
Keywords:
Assertion
Programming language
SystemVerilog
Local variable
Model checking
Abstraction model checking
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]