Equivalence Checking for High-Assurance Behavioral Synthesis

Equivalence Checking for High-Assurance Behavioral Synthesis

The rapidly increasing complexities of hardware designs are forcing design methodologies and tools to move to the Electronic System Level (ESL), a higher abstraction level with better productivity than the state-of-the-art Register Transfer Level (RTL). Behavioral synthesis, which automatically synt...

Full description

Bibliographic Details
Main Author: Hao, Kecheng
Format: Others
Published: PDXScholar 2013
Subjects:
Computer input-output equipment > Design and construction
Computer engineering > Research
Electronic digital computers > Design and construction > Research
Computers
Pipeline
Hardware Systems
Other Computer Sciences
Online Access:https://pdxscholar.library.pdx.edu/open_access_etds/1066
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=2065&context=open_access_etds

Internet

https://pdxscholar.library.pdx.edu/open_access_etds/1066
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=2065&context=open_access_etds

Similar Items