145 search results - page 4 / 29 » A Higher-Level Language for Hardware Synthesis |
ENTCS
2007
14 years 9 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...