Sciweavers

Share
EURODAC
1995
IEEE
173views VHDL» more  EURODAC 1995»
9 years 10 months ago
Cooperative concurrency control for design environments
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
Ansgar Bredenfeld
EURODAC
1995
IEEE
153views VHDL» more  EURODAC 1995»
9 years 10 months ago
VHDL-based communication and synchronization synthesis
This paper describes an approach for VHDL-based communication and synchronization synthesis. This design step transforms a system level VHDL description into an RT-level descripti...
Wolfgang Ecker, Manfred Huber
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
9 years 10 months ago
Towards verifying VHDL descriptions of processors
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
Laurent Arditi, Hélène Collavizza
EURODAC
1995
IEEE
100views VHDL» more  EURODAC 1995»
9 years 10 months ago
A unified approach to the extraction of realistic multiple bridging and break faults
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
Gerald Spiegel, Albrecht P. Stroele
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
9 years 10 months ago
Quality considerations in delay fault testing
We examine delay models used in VLSI circuit testing. Our study includes electrical-level simulation experiments with HSPICE. We show phenomena which signi cantly a ect the actual...
Alicja Pierzynska, Slawomir Pilarski
EURODAC
1995
IEEE
159views VHDL» more  EURODAC 1995»
9 years 10 months ago
Timing constraint specification and synthesis in behavioral VHDL
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
9 years 10 months ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
EURODAC
1995
IEEE
159views VHDL» more  EURODAC 1995»
9 years 10 months ago
The VHDL based design of the MIDA MPEG1 audio decoder
This paper describes the features and design methodology of MIDA, a MPEG1 integrated audio decoder. MIDA has been almost completely designed using automatic synthesis of VHDL desc...
Andrea Finotello, Maurizio Paolini
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
9 years 10 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
books