Verification of asynchronous circuits using time Petri net unfolding
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Methodology and tools for state encoding in asynchronous circuit synthesis
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Synthesis of speed-independent circuits from STG-unfolding segment
DAC '97 Proceedings of the 34th annual Design Automation Conference
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A unified signal transition graph model for asynchronous control circuit synthesis
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
High-Level Modeling and Design of Asynchronous Interface Logic
IEEE Design & Test
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of concurrency to system design
Semi-modular Latch Chains for Asynchronous Circuit Design
PATMOS '00 Proceedings of the 10th International Workshop on Integrated Circuit Design, Power and Timing Modeling, Optimization and Simulation
A Programming Approach to the Design of Asynchronous Logic Blocks
Concurrency and Hardware Design, Advances in Petri Nets
Decomposition in Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Monotonic Circuits with Complete Acknowledgement
ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems
Structural Methods for the Synthesis of Speed-Independent Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Design and Analysis of a Self-Timed Duplex Communication System
IEEE Transactions on Computers
STG Optimisation in the Direct Mapping of Asynchronous Circuits
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Design automation of real-life asynchronous devices and systems
Foundations and Trends in Electronic Design Automation
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
The design of high-performance dynamic asynchronous pipelines: high-capacity style
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Transactions on Petri Nets and Other Models of Concurrency I
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Analysis of Static Data Flow Structures
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hardware and Petri nets: application to asynchronous circuit design
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Concurrent rewriting semantics and analysis of asynchronous digital circuits
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A new type of behaviour-preserving transition insertions in unfolding prefixes
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Efficient automatic resolution of encoding conflicts using STG unfoldings
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Relativistic Causality and Clockless Circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
The magic rule of tiles: virtual delay insensitivity
PATMOS'09 Proceedings of the 19th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Analysis of Static Data Flow Structures
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of Concurrency to System Design
Hi-index | 0.01 |