222 search results - page 31 / 45 » Verifying an Arbiter Circuit |
ISCAS
1999
IEEE
14 years 8 days ago
1999
IEEE
This paper presents the design consideration of high order digital AZ modulators used as modulus controller for fractional-N frequency synthesizer. A third-order MASH structure (M...
ISCAS
1999
IEEE
14 years 8 days ago
1999
IEEE
To investigate short-distance, point-to-point, infrared channels, a test-bench and circuits were constructed to determine the limitations ofexisting optoelectronics. Theresults of...
ACSD
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
ATS
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
ICCAD
1998
IEEE
14 years 7 days ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...