ΗΜΥ 407 Συστήματα Σχεδιασμού με Υπολογιστή για VLSI

	ΗΜΥ 407 Συστήματα Σχεδιασμού με Υπολογιστή για VLSI
	Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Πανεπιστήμιο Κύπρου

Πληροφορίες

Στόχοι Μαθήματος

Συμβόλαιο Μαθήματος

Σύγγραμμα/Αναφορές

Πρόγραμμα/Διαλέξεις

Σύνδεσμοι

Σελίδα ΗΜΜΥ

Σελίδα Πανεπιστημίου

Επικοινωνία

	Μαρία > Μαθήματα > ΗΜΥ 407 > Πρόγραμμα και Διαλέξεις
	Πρόγραμμα και Διαλέξεις
	Some Popular Academic EDA Tools and Benchmarks: Logic Synthesis and Verification Espresso -- Two level minimization tool (U Berkeley) SIS -- Logic Syntesis tool (U Berkeley) MVSIS -- Multivalued logic synthesis and Verification package (U Berkeley) ABC -- Sequential Synthesis and Verification (U Berkeley) BOOM -- Two-level Boolean minimizer (CTU) CUDD -- Binary Decision Diagram (BDD) Package (U Colorado) Diagnostics ATALANTA -- ATPG tool (Virginia Tech) Modified Atalanta. ATPG and fault simulator (CTU) FSIM -- Fault simulator (Virginia Tech) HOPE -- Parallel fault simulator (Virginia Tech) MILEF -- ATPG tool Benchmarks Politecnico di Torino -- CAD Group site Advanced EDA Benchmark Datasets (from eda.org) An extensive collection of digital design Benchmarks (CTU site) Other Logic Specification Formats Conventor 1.2 (Bench, Blif, Edif, Cir) Cygwin1.dll -- CygWin library VHDL links: The Hamburg VHDL Archive (A collection of links) ALDEC-Free VHDL Tutorial and Test (Evita) VHDL Tutorial: Learn by Example -- by Weijun Zhang ACTEL's VHDL Design Style Coding Major EDA-related Journals, Conferences and Magazines: IEEE Transactions on Computer-Aided-Design of Integrated Circuits and Systems (TCAD) IEEE Transactions on Computers EEE Transactions on VLSI Systems ACM Transactions on Design Automation of Electronic Systems (TODAES) Journal of Electronic Testing: Theory and Applications (JETTA) IEEE Design and Test of Computers Design Automation Conference (DAC) Design and Test in Europe Conference (DATE) International Conference on Computer-Aided Design (ICCAD) Asia and South Pacific Design Automation Conference (ASP-DAC) International Symposium on Circuits and Systems (ISCAS) International Conference on Computer Design (ICCD) International Symposium on Quality Electronic Design (ISQED) International Test Conference (ITC) VLSI Test Symposium (VTS) Asian Test Symposium An extensive list (from S. Wilton -- UBC) EDA & Test Professional Organizations and Technical Committees: ACM Special Interest Group on Design Automation (SIGDA) IEEE Council on Electronic Design Automation (CEDA) IEEE Design Automation Technical Committee (DATC) IEEE Test Technology Technical Council (TTTC) Electronic Design Automation Consortium (EDAC -- Industry) Related Industry (CAD/EDA, Test, Semiconductor): Cadence Synopsys Β Mentor Graphics Get2Chip Teradyne Advantest Intel IBM Research Texas Instrument NEC NXP Infineon Advanced Micro Devices Synaptics Renesas Altera (acquired by Intel FPGAs) Xilinx Microchip Inc ... EDA Company List from Wikipedia! Other related/interesting links: Electronic Design Automation -- Wikipedia EDACafe.com EETimes.com Freeware EDA Tools Free Model Foundry


	τελευταία ενημέρωση: 01.02.2023

© 2023 Πανεπιστήμιο Κύπρου, Πολυτεχνικής Σχολής, Τμήμα ΗΜΜΥ. Σχόλια στο: [email protected]