526 search results - page 25 / 106 » date 2008 |
92
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
61
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
80
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block inde...
101
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
100
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents sizing rules for basic building blocks in analog bipolar circuit design. Sizing rules efficiently capture design knowledge on the technology-specific level o...