Login / Signup
Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation.
Zhi Yang
Guangsheng Ma
Shu Zhang
Published in:
Integr. (2010)
Keyphrases
</>
data flow
formal verification
high level
database machine
control flow
model checking
low level
digital signal processing
relational databases
data transfer
object oriented software
automated verification
digital circuits
model checker
systolic array
modeling language
signal processing
object oriented