المؤلفون: Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Politecnico di Torino [Torino] (Polito) ; Politecnico di Torino, Borrione, D., Prinetto, P.

المصدر: Information-Processing-89.-Proceedings-of-the-IFIP-11th-World-Computer-Congress.; Information-Processing-89.-Proceedings-of-the-IFIP-11th-World-Computer-Congress., Dec 1988, San Francisco, CA, France. North-Holland, Amsterdam, Netherlands, pp.233-40

مصطلحات الفهرس: zero-defect-VLSI-design, equivalence-preserving-transformations, formal-verification, automated-synthesis, CAD-tools, digital-design, functional-correctness, PACS 85.42, [SPI.NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics, Conference papers

المؤلفون: Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) ; CNRS - Université Joseph Fourier - Grenoble I - Institut National Polytechnique de Grenoble (INPG), Politecnico di Torino Torino (Polito) ; Politecnico di Torino, Borrione, D., Camurati, P., Prinetto, P., Paillet, J.-L.

المصدر: International-Journal-of-Computer-Aided-VLSI-Design; International-Journal-of-Computer-Aided-VLSI-Design, 1990, 2(4), pp. 339-58

مصطلحات الفهرس: machine-instruction-level, zero-defect-designs, microprogrammed-architectures, CAD, formal-verification, hardware-correctness, microprogrammed-microprocessor, MTI, microprogram-levels, functional-framework, PACS 85.42, [SPI. NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics, Journal articles

المؤلفون: Ernesto Sanchez, Giovanni Squillero, Alberto Tonda, D. Ravotto, Stefano Gandini, Walter Ruzzarin

المساهمون: dauin, Dipartimento di Automatica e Informatica [Torino] (DAUIN), Politecnico di Torino [Torino] (Polito)-Politecnico di Torino [Torino] (Polito), DAUIN Dipartimento di Automatica e Informatica, Politecnico di Torino [Torino] (Polito), Génie et Microbiologie des Procédés Alimentaires (GMPA), Institut National de la Recherche Agronomique (INRA)-AgroParisTech, Politecnico di Torino = Polytechnic of Turin (Polito)-Politecnico di Torino = Polytechnic of Turin (Polito), Politecnico di Torino = Polytechnic of Turin (Polito), AgroParisTech-Institut National de la Recherche Agronomique (INRA)

المصدر: the 11th Annual conference
the 11th Annual conference, Jul 2009, Montreal, France. pp.1921, ⟨10.1145/1569901.1570238⟩
GECCO

مصطلحات موضوعية: Point (typography), business.industry, Event (computing), Computer science, 02 engineering and technology, Plan (drawing), [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], 020202 computer hardware & architecture, [SPI.TRON]Engineering Sciences [physics]/Electronics, Software, Software bug, Mobile phone, software defects, Embedded system, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Automatic detection, 020201 artificial intelligence & image processing, business, ComputingMilieux_MISCELLANEOUS

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1f7f6ea2e1b3cba5fd1a2e661ef5706
https://hal.archives-ouvertes.fr/hal-02481987