Hardware Description and Verification: Tools

Hardware Description and Verification	TDA956, LP4, VT2008
Tools
First, read about how to get access to the tools. ModelSim: ModelSim is the VHDL simulator we are going to use in this course. There is an introduction to modelsim available. Jasper Gold: This is the property checker we use. There is a short intro to the tool. Lava: Introduction to the Lava system.

Home \| Schedule \| Literature \| Assignments \| Tools \| Links \| Course	M. Sheeran, E. Axelsson, J. Svensson, March 23, 2008