Synthesis of concurrent system interface modules with automatic protocol conversion generation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Interface timing verification with application to synthesis
DAC '94 Proceedings of the 31st annual Design Automation Conference
Efficient algorithms for interface timing verification
EURO-DAC '94 Proceedings of the conference on European design automation
Timing analysis for synthesis in microprocessor interface design
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Practical applications of an efficient time separation of events algorithm
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Min-max linear programming and the timing analysis of digital circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Symbolic timing verification of timing diagrams using Presburger formulas
DAC '97 Proceedings of the 34th annual Design Automation Conference
Approximate algorithms for time separation of events
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Making complex timing relationships readable: Presburger formula simplicication using don't cares
DAC '98 Proceedings of the 35th annual Design Automation Conference
Lazy transition systems: application to timing optimization of asynchronous circuits
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
On Deducing Timing Constraints in the Verification of Interfaces
Formal Methods in System Design
Efficient Algorithms for Interface Timing Verification
Formal Methods in System Design
Performance Estimation for Real-Time Distributed Embedded Systems
IEEE Transactions on Parallel and Distributed Systems
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Timing driven co-design of networked embedded systems
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Performance estimation for real-time distributed embedded systems
Readings in hardware/software co-design
Discrete Event Dynamic Systems
Synthesis and Optimization of Combinational Interface Circuits
Journal of VLSI Signal Processing Systems
Verifying Timing Consistency in Formal Specifications
IEEE Design & Test
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Symbolic Time Separation of Events
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Interface Timing Verification with Delay Correlation Using Constraint Logic Programming
EDTC '97 Proceedings of the 1997 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
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints
Discrete Event Dynamic Systems
A formal method for hardware IP design and integration under I/O and timing constraints
ACM Transactions on Embedded Computing Systems (TECS)
Modeling out-of-order processors for WCET analysis
Real-Time Systems
An efficient algorithm for time separation of events in concurrent systems
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Time separations of cyclic event rule systems with min-max timing constraints
Theoretical Computer Science
Scenario-based timing verification of multiprocessor embedded applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An optimal power algorithm for interface design of System-on-Chip
CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
State estimation and detection of changes in time interval models
Discrete Event Dynamic Systems
Hi-index | 0.00 |