6 search results - page 1 / 2 » Using CTL formulae as component abstraction in a design and ... |
ACSD
2007
IEEE
13 years 12 months ago
2007
IEEE
MFCS
1995
Springer
13 years 9 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
ATVA
2009
Springer
13 years 9 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
DT
2006
13 years 5 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
DATE
1999
IEEE
13 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...