279 search results - page 30 / 56 » Abstraction and refinement techniques in automated design de... |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—This paper proposes a circuit optimization approach that can ease the computational burden on the simulation-based circuit optimizers by leveraging simple design equations that ...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...