Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Synthesis of Interface Controllers from Timing Diagram Specifications
 

Summary: 1
Synthesis of Interface Controllers from Timing Diagram
Specifications
Abdelhalim El-Aboudi, El-Mostapha Aboulhamid, Eduard Cerny
Labratoire LASSO, Département IRO, Université de Montréal
Montréal (Québec) CANADA
Abstract
We present a method for verifying the realizability of a timing
diagram, ensuring the synthesis of the underlying interface is
possible. If necessary, a heuristic is introduced to render
explicit hidden timing constraints implied by the specification.
A relative schedule of output events is computed, accepting
input events from the complete timing space defined by the
assumed constraints on the environment.
Keywords
Timing diagrams, timing constraints, realizability, relative
scheduling, synthesis.
1 Introduction
Interface design is an important aspect of the design of digital
microelectronic systems. This importance is growing with the

  

Source: Aboulhamid, El Mostapha - Département d'Informatique et recherche opérationnelle, Université de Montréal

 

Collections: Engineering