DAC
14 years 1 months ago
1994 ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal verication problems. Recently, we ha...
DAC
14 years 1 months ago
1994 ACM
Conformational analysis is the problem of nding all minimal energy three-dimensional congurations of molecules. Cyclic structures are of particular interest. An ecient algorithm...
DAC
14 years 1 months ago
1994 ACM
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
DAC
14 years 1 months ago
1994 ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
DAC
14 years 1 months ago
1994 ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
|