This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evalua-tion scheduling in the emitted code. Unlike earlier but related cycle-driven techniques which map VHDL into simpler temporal semantics, the techniques described here preserve VHDL’s full temporal semantics. Experimental results indicate effective simulation acceleration using as many as 16 processors. Ongoing work involves evaluation with much larger models and machine configurations.
A parallel-execution model (PEM) new approach that simulates concurrent parallelism in parallel prog...
We tackle the problem of scheduling logical processes that can significantly affect the performance ...
Goossens defined a structural operational semantics for a subset of VHDL87 and proved that the paral...
In this paper we address the problem of software generation from a Hardware Description Language (HD...
100 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997.We finally settled on a parti...
One approach to accelerate a simulation of digital circuits described in VHDL is a distributed simul...
Hardware Description Languages (HDL) like VHDL are widely used to design and simulate with program-m...
VHDL is the one of the most important and widely used hardware description languages at this time. T...
We describe a technique for hardware-software co-simulation that is almost cycle-accurate, and does ...
The advent of VHDL has brought about a number of VHDL simulators. Many translation schemes from doma...
This paper describes, with examples, the use of advanced VHDL constructs that greatly enhance modeli...
Verification of image processing systems is mainly done on the basis of image sequence simulations. ...
In this paper, we present for the first time a mathemati-cal framework for solving a special instanc...
In this article, we discuss the application of compiler technology for eliminating redundant computa...
We consider an application of scheduling to hardware-accelerated functional verification, a massivel...
A parallel-execution model (PEM) new approach that simulates concurrent parallelism in parallel prog...
We tackle the problem of scheduling logical processes that can significantly affect the performance ...
Goossens defined a structural operational semantics for a subset of VHDL87 and proved that the paral...
In this paper we address the problem of software generation from a Hardware Description Language (HD...
100 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997.We finally settled on a parti...
One approach to accelerate a simulation of digital circuits described in VHDL is a distributed simul...
Hardware Description Languages (HDL) like VHDL are widely used to design and simulate with program-m...
VHDL is the one of the most important and widely used hardware description languages at this time. T...
We describe a technique for hardware-software co-simulation that is almost cycle-accurate, and does ...
The advent of VHDL has brought about a number of VHDL simulators. Many translation schemes from doma...
This paper describes, with examples, the use of advanced VHDL constructs that greatly enhance modeli...
Verification of image processing systems is mainly done on the basis of image sequence simulations. ...
In this paper, we present for the first time a mathemati-cal framework for solving a special instanc...
In this article, we discuss the application of compiler technology for eliminating redundant computa...
We consider an application of scheduling to hardware-accelerated functional verification, a massivel...
A parallel-execution model (PEM) new approach that simulates concurrent parallelism in parallel prog...
We tackle the problem of scheduling logical processes that can significantly affect the performance ...
Goossens defined a structural operational semantics for a subset of VHDL87 and proved that the paral...