Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brooks, Christopher, Lee, Edward A., Liu, Xiaojun, Neuendorffer, Steve, Zhao, Yang, and Zheng, Haiyang (eds) (2004) Heterogeneous Concurrent Model-ing and Design in Java, volume 1, 2, and 3. EECS, University of California, Berkeley, CA. Memoranda UCB/ERL M04/27, M04/16 and M04/17.
Calinescu, Radu (1995) Conservative discrete event simulations on bulk synchronous parallel architectures. Technical Report PRG-TR-16-95, Computing Laboratory, Oxford University, Oxford.
Copstein, Bernardo, Wagner, Flávio Rech, and Pereira, Carlos Eduardo (1997) SIMOO: an environment for the object-oriented discrete simulation. In: 9th European Simulation Symposium (ESS’97), Passau, Germany.
de Mello, Braulio Adriano and Wagner, Flávio Rech (2002) A standardized co-simulation backplane. In: Robert, M., Rouzeyre, B., Piguet, C., and Flottes, M.-L. (eds) SoC Design Methodologies, volume 90 of IFIP International Federation for Information Processing, pages 181-192. Kluwer Academic Publishers, Norwell, MA.
Mentor Graphics (2005) Seamless. Mentor Graphics, Wilsonville, OR. Online Documentation, http://www.mentor.com/.
Mittra, Swapnajit (1999). Principles of Verilog PLI. Kluwer Academic Publishers, Norwell, MA.
Model Technology (2001) Modelsim 5.5f: Foreign Language Interface. Model Technology, Portland, OR.
The MathWorks (2005) ModelSim Online Documentation. The MathWorks, Natick, MA. http://www.mathworks.com/.
TNI-Software (2005) CosiMate. TNI-Software, Brest Cedex, France. Online Documentation, http://www.tni-world.com/.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Kajtazovic, S., Steger, C., Schuhai, A., Pistauer, M. (2006). Automatic Generation of a Coverification Platform. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_11
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)