ACM SIGDA Newsletter
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
NES: the behavioral model for the formal semantics of a hardware design language UDL/I
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A system for fault diagnosis and simulation of VHDL descriptions
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
A graphical computer simulator for systems programming courses
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The automatic generation of bus-interface models
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
VHDL for high speed desktop video ICs: experience with replacement of other simulator
EURO-DAC '92 Proceedings of the conference on European design automation
Design of complex systems with a VHDL based methodology
EURO-DAC '92 Proceedings of the conference on European design automation
A classification of design steps and their verification
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
A VHDL Standard Package for Logic Modeling
IEEE Design & Test
Transparent Logic Modeling in VHDL
IEEE Design & Test
IEEE Design & Test
A VHDL Fault Diagnosis Tool Using Functional Fault Models
IEEE Design & Test
The Transmogrifier C hardware description language and compiler for FPGAs
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Generic integration infrastructure for IP-based design processes and tools with a unified XML format
Integration, the VLSI Journal - Special issue: IP and design reuse
Fairplay—a secure two-party computation system
SSYM'04 Proceedings of the 13th conference on USENIX Security Symposium - Volume 13
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
Hi-index | 0.00 |