Trace theory and VLSI design :: SCD d'Orléans

Trace theory and VLSI design

Trace theory and VLSI design

Salvato in:

Dettagli Bibliografici
Autore principale:	Van de Snepscheut, Jan L. A., 1953-1994
Natura:	Thèse numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 200
Soggetti:	Informatique Structure logique Circuits intégrés à très grande échelle > Construction
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Trace theory and VLSI design, Jan L .A. van de Snepscheut, 1985, Berlin, Springer-Verlag, 1 vol. (vi-140 p.), Lecture notes in computer science, 0-387-15988-6 • Trace Theory and VLSI Design, Texte imprimé, 9783540159889 • Trace Theory and VLSI Design, Texte imprimé, 9783662161883

Documenti analoghi

Logic Minimization Algorithms for VLSI Synthesis
di: Brayton, Robert King, 1933-, et al.

VLSI : circuits for emerging applications
di: Wojcicki, Tomasz
Pubblicazione: (2015)

Silicon processing for the VLSI era
di: Wolf, Stanley, 1943-, et al.
Pubblicazione: (1986)

VLSI engineering : beyond software engineering
di: Kunii, Toshiyasu, 1938-

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
di: Macii, Enrico

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

Formal hardware verification : methods and systems in comparison
di: Kropf, Thomas, 1961-

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Conception des circuits VLSI : du composant au système
di: Anceau, François, 1940-2020, informaticien, et al.
Pubblicazione: (2007)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Adaptive resonance theory microchips
di: Serrano-Gotarredona, Teresa, et al.
Pubblicazione: (1998)

Harnessing VLSI system design with EDA tools
di: Kamat, Rajanish K., et al.
Pubblicazione: (2012)

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
di: Geist, Daniel

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Timing
di: Sapatnekar, Sachin S., 1967-
Pubblicazione: (2013)

Digital design : principles and practices
di: Wakerly, John F.
Pubblicazione: (1990)

Digital design : principles and practices
di: Wakerly, John F.
Pubblicazione: (1994)

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23 25, 1998 : proceedings

Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7 8, 1996 : proceedings

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Fourteenth international conference on numerical methods in fluid dynamics : proceedings of the conference held in Bangalore, India, 11 15 July 1994
di: Deshpande, Suresh M.

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Symbolic model checking
di: McMillan, Kenneth L.
Pubblicazione: (1993)

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

VHDL : méthodologie de design et techniques avancées : guide pratique du concepteur
di: Schneider, Thierry
Pubblicazione: (2001)

Tracés des circuits imprimés
di: Dunand, Philippe, 1964-...., ingénieur
Pubblicazione: (2000)

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
di: Sérot, Jocelyn
Pubblicazione: (2019)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
di: Sérot, Jocelyn
Pubblicazione: (2019)

Circuits numériques et synthèse logique : un outil : VHDL
di: Weber, Jacques, 1946-...., professeur de technologie, et al.
Pubblicazione: (1995)

Circuits logiques intégrés : fonctions, technologies, performances, densités
di: Lyon-Caen, Robert, 1926-2009
Pubblicazione: (1982)

Tracé des circuits imprimés : compatibilité électromagnétique, parasites et perturbations des électroniques
di: Dunand, Philippe, 1964-...., ingénieur
Pubblicazione: (1996)

Classical circuit theory
di: Wing, Omar, 1928-
Pubblicazione: (2009)

Logique arithmétique et techniques synchrones : arithmétique binaire et décimale, conception synchrone des ASICs et des FPGAs
di: Aumiaux, Michel
Pubblicazione: (1996)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales