Old Web
English
Sign In
Acemap
>
Paper
>
Case Study : Applying formal verification in IP design
Case Study : Applying formal verification in IP design
2007
Hyun Don Kim
Jae-Beom Kim
Byeong Min
Kyu Myung Choi
Keywords:
Software engineering
Formal verification
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
2
References
0
Citations
NaN
KQI
[]