788 search results - page 44 / 158 » Design and use of a system-level specification and verificat... |
276
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The need to have Transaction Level models early in the design cycle is becoming more and more important to shorten the development times of complex Systems-on-Chip (SoC). These ...
193
click to vote
DGO
2004
15 years 7 months ago
2004
The interdisciplinary project uses a variety of research designs, data collection methodologies, and analysis techniques and two ballot designs to assess five commercially availab...
154
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
154
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...