Cycle Accurate Verification of Synchronous Sequential Circuit Specified with UML 2.0 Modelling.

Hai Lin Yongxin Zhu Hua Chen Wei Guo

Published in: IPC (2007)

Keyphrases

formal methods
uml profile
model checking
metamodel
analog circuits
software architecture
high speed
high accuracy
high quality
real time
computationally efficient
database design
database
object oriented
highly accurate
modeling language
circuit design
artificial intelligence
sequence diagrams
asynchronous circuits