Sciweavers

50 search results - page 5 / 10
» eurodac 1995
Sort
View
EURODAC
1995
IEEE
136views VHDL» more  EURODAC 1995»
14 years 1 months ago
Computing subsets of equivalence classes for large FSMs
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
Gianpiero Cabodi, Stefano Quer, Paolo Camurati
EURODAC
1995
IEEE
142views VHDL» more  EURODAC 1995»
14 years 1 months ago
Creating hierarchy in HDL-based high density FGPA design
As the density and complexity of FPGA-based designs has increased to 10,000 gates and beyond, the use of high-level design languages (HDLs) is rapidly supplanting schematic entry ...
Carol A. Fields
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
14 years 1 months ago
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
Frank Vahid, Daniel D. Gajski
EURODAC
1995
IEEE
112views VHDL» more  EURODAC 1995»
14 years 1 months ago
Post routing performance optimization via tapered link insertion and wiresizing
Most existing performance-driven and clock routing algorithms can not guarantee performance after all nets are routed. This paper proposes a new post routing approach which can re...
Tianxiong Xue, Ernest S. Kuh
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
14 years 1 months ago
KANDIS - a tool for construction of mixed analog/digital systems
The synthesis of electronic circuits on system level o ers the possibility to nd better locations of the A/D interfaces and to determine parameters like clock rates and bit widths...
Peter Oehler, Christoph Grimm, Klaus Waldschmidt