Home Advanced Search

Advanced Search - Page 1

VHDL for Simulation, Synthesis and Formal Proofs of Hardware
  • PDF
  • English
  • Year: 1992
  • Author: F. Erich Marschner (auth.), Jean Mermet (eds.)
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: F. Erich Marschner (auth.), Orna Grumberg (eds.)
Fundamentals and Standards in Hardware Description Languages
  • PDF
  • English
  • Year: 1993
  • Author: Raymond Boute (auth.), Jean P. Mermet (eds.)
System-level synthesis
  • DJVU
  • English
  • Year: 1999
  • Author: Rolf Ernst (auth.), Ahmed A. Jerraya, Jean Mermet (eds.)
Electronic Chips & Systems Design Languages
  • PDF
  • English
  • Year: 2001
  • Author: Ernst Christen, Kenneth Bakalar (auth.), Jean Mermet (eds.)
System Specification & Design Languages: Best of FDL’02
  • PDF
  • English
  • Year: 2004
  • Author: Ernst Christen (auth.), Eugenio Villar, Jean Mermet (eds.)
System-Level Synthesis
  • PDF
  • English
  • Year: 1999
  • Author: Rolf Ernst (auth.), Ahmed A. Jerraya, Jean Mermet (eds.)
Low Power Design in Deep Submicron Electronics
  • PDF
  • English
  • Year: 1997
  • Author: Wolfgang Nebel (auth.), Wolfgang Nebel, Jean Mermet (eds.)
System Level Design Model with Reuse of System IP
  • PDF
  • English
  • Year: 2004
  • Author: Klaus Kronlöf (auth.), Patrizia Cavalloro, Christophe Gendarme, Klaus Kronlöf, Jean Mermet, Jos van Sas, Kari Tiensyrjä, Nikolaos S. Voros (eds.)
System-on-Chip Methodologies & Design Languages
  • PDF
  • English
  • Year: 2001
  • Author: Robert H. Klenke, James H. Aylor, Paul Menchini, Ron Waxman, William Anderson (auth.), Peter J. Ashenden, Jean P. Mermet, Ralf Seepold (eds.)