Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Synthesis of VLSI designs with symbolic techniques
Synthesis of VLSI designs with symbolic techniques
Synthesis from production-based specifications
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
The Compilation of Regular Expressions into Integrated Circuits
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Scheduling of outputs in grammar-based hardware synthesis of data communication protocols
Proceedings of the conference on Design, automation and test in Europe
High-Level specification and automatic generation of IP interface monitors
Proceedings of the 39th annual Design Automation Conference
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Augmenting a regular expression-based temporal logic with local variables
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 0.00 |