7213 search results - page 972 / 1443 » Automated model grouping |
175
Voted
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
158
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Due to larger buses (length, width) and deep sub-micron effects where coupling capacitances between bus lines are in the same order of magnitude as base capacitances, power consum...
192
Voted
DAC
2001
ACM
16 years 7 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'...
178
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
257
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...