Harnessing VLSI system design with EDA tools :: SCD d'Orléans

Harnessing VLSI system design with EDA tools

Harnessing VLSI system design with EDA tools

This book explores various dimensions of EDA technologies for achieving different goals in VLSI system design. Although the scope of EDA is very broad and comprises diversified hardware and software tools to accomplish different phases of VLSI system design, such as design, layout, simulation, testa...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kamat, Rajanish K., Shelake, Vinod G. (VerfasserIn), Gaikwad, Pawan K. (VerfasserIn)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Dordrecht : Springer Netherlands 2012. Cham : Springer Nature
Schlagworte:	Circuits intégrés à ultra-grande échelle > Conception assistée par ordinateur
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Harnessing VLSI System Design with EDA Tools, Texte imprimé, 9789400718630 • Harnessing VLSI System Design with EDA Tools, Texte imprimé, 9789400718654 • Harnessing VLSI System Design with EDA Tools, Texte imprimé, 9789400795549

Ähnliche Einträge

Analysis and design of analog integrated circuits
von: Gray, Paul R., 1942-, et al.
Veröffentlicht: (2010)

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
von: Geist, Daniel

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

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

Timing
von: Sapatnekar, Sachin S., 1967-
Veröffentlicht: (2013)

CAO de circuits et de systèmes intégrés
von: Mahdoum, Ali
Veröffentlicht: (2020)

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

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

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

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

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

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

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

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

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

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

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

Creative design engineering : introduction to an interdisciplinary approach
von: Taura, Toshiharu
Veröffentlicht: (2016)

Trace theory and VLSI design
von: Van de Snepscheut, Jan L. A., 1953-1994

VLSI : circuits for emerging applications
von: Wojcicki, Tomasz
Veröffentlicht: (2015)

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

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Computer-aided design
Veröffentlicht: (1990)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Conception des circuits micro ondes : micro électronique
von: Edwards, Terry
Veröffentlicht: (1984)

AutoCAD 3D pour l'architecture et le design : conception d'une maison et de son mobilier
von: Riccio, Michel
Veröffentlicht: (2009)

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

Digital landscape architecture now
von: AMOROSO, Nadia
Veröffentlicht: (2012)

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

Conception paramétrique avec Rhino et Grasshopper : applications en architecture, ingénierie et design
von: Couwenbergh, Jean-Pierre, et al.
Veröffentlicht: (2021)

Silicon processing for the VLSI era
von: Wolf, Stanley, 1943-, et al.
Veröffentlicht: (1986)

An expert systems approach to computer-aided design of multivariable systems
von: Pang, Grantham K. H., et al.

Génération automatique de maillages : applications aux méthodes d'éléments finis
von: George, Paul-Louis, 19..-
Veröffentlicht: (1990)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Détermination des éléments de machines : dimensionnement, liaisons, conception intégrée
von: Bourdon, Adeline, et al.
Veröffentlicht: (2010)

Web design : portfolios
von: Wiedemann, Julius, 1974-
Veröffentlicht: (2005)

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

CAO : choix, mise en place et pratique
von: Boulicot, Claude
Veröffentlicht: (1989)

Le guide de la CAO : guide visuel en couleur
von: Taraud, Dominique, et al.
Veröffentlicht: (2008)

© 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