Journal of the ACM (JACM)
Report on the algorithmic language ALGOL 60
Communications of the ACM
A programming language
Microcode development for microprogrammed processors
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
BBMSS: A bit-splice based microprogram simulation system
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Microarchitecture modelling through ADL
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
25 years of DAC Papers on Twenty-five years of electronic design automation
Locating functional errors in logic circuits
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Technology adaption in logic synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Three Decades of HDLs: Part I, CDL Through TI-HDL
IEEE Design & Test
Optimizing Multiple EDA Tools within the ASIC Design Flow
IEEE Design & Test
Computer Design Language - Version Munich (CDLM) a modern multi-level language
DAC '83 Proceedings of the 20th Design Automation Conference
HARPA: A hierarchical multi-level hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
Block description language (BDL): A structural description language
DAC '84 Proceedings of the 21st Design Automation Conference
Flowware—a flow charting procedure to describe digital networks
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
DAC '80 Proceedings of the 17th Design Automation Conference
A digital system modeling philosophy and design language
DAC '71 Proceedings of the 8th Design Automation Workshop
Quality of designs from an automatic logic generator (ALERT)
DAC '70 Proceedings of the 7th Design Automation Workshop
Verification of hardware designs thru symbolic manipulation
Proceedings of the Symposium on Design Automation and Microprocessors
An interactive logic activity modelling program
ACM '72 Proceedings of the ACM annual conference - Volume 2
Simulating modular microcomputers
ANSS '78 Proceedings of the 11th annual symposium on Simulation
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
CDL - A tool for concurrent hardware and software development
DAC '77 Proceedings of the 14th Design Automation Conference
Computer system design description
DAC '82 Proceedings of the 19th Design Automation Conference
Concepts of high-level-language computer architecture
ACM '75 Proceedings of the 1975 annual conference
Partitioned list techniques for the synthesis by computer of two-level and-or networks
ACM '68 Proceedings of the 1968 23rd ACM national conference
A terminal oriented Hardware Simulator for educational use
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Concepts of a microcomputer design language
DAC '79 Proceedings of the 16th Design Automation Conference
DAC '79 Proceedings of the 16th Design Automation Conference
Computer hardware description languages and their applications
DAC '79 Proceedings of the 16th Design Automation Conference
Storage declaration in the hardware description language ERES
ACM SIGDA Newsletter
Concepts of high-level-language computer architecture
ACM SIGMICRO Newsletter
On the formal pescription of microoperations and its impact on automatic microcode generation
ACM SIGMICRO Newsletter
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
The MPG System: A Machine-Independent Efficient Microprogram Generator
IEEE Transactions on Computers
Methods Used in an Automatic Logic Design Generator (ALERT)
IEEE Transactions on Computers
Design Verification at the Register Transfer Language Level
IEEE Transactions on Computers
Functional Microprogramming as a Logic Design Aid
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Computers
A high-level microprogramming language (MPL)
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Logic synthesis through local transformations
IBM Journal of Research and Development
Structure specification with a procedural hardware description language
IEEE Transactions on Computers
| Hi-index | 48.26 |