TODAES 1998 | Sciweavers

8

TODAES
1998

68views more TODAES 1998»

Specification and verification of pipelining in the ARM2 RISC microprocessor

13 years 4 months ago

Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...

James K. Huggins, David Van Campenhout

claim paper

Read More »

5

click to vote

TODAES
1998

42views more TODAES 1998»

ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems

13 years 4 months ago

Download www.cparity.com

Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, S...

claim paper

Read More »

8

click to vote

TODAES
1998

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

13 years 4 months ago

Download www.cparity.com

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

claim paper

Read More »

10

click to vote

TODAES
1998

47views more TODAES 1998»

Auxiliary variables for BDD-based representation and manipulation of Boolean functions

13 years 4 months ago

Download www.cparity.com

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

8

click to vote

TODAES
1998

61views more TODAES 1998»

Code generation for fixed-point DSPs

13 years 4 months ago

Download www.cparity.com

Guido Araujo, Sharad Malik

claim paper

Read More »

13

click to vote

TODAES
1998

46views more TODAES 1998»

A timing-driven design and validation methodology for embedded real-time systems

13 years 4 months ago

Download www.cparity.com

Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers