Login / Signup
Simplifying the design and automating the verification of pipelines with structural hazards.
Jason T. Higgins
Mark D. Aagaard
Published in:
ACM Trans. Design Autom. Electr. Syst. (2005)
Keyphrases
</>
database
case study
software architecture
real time
artificial intelligence
image sequences
information technology
relational databases
decision support system
design process
design methodology
optimal design
functional verification