Now showing items 1-1 of 1

    • Designing asynchronous circuits from behavioural specifications with internal conflicts 

      Cortadella, Jordi; Lavagno, Luciano; Vanbekbergen, Peter; Yakovlev, Alex (Institute of Electrical and Electronics Engineers (IEEE), 1994)
      Conference report
      Open Access
      The paper presents a systematic method for synthesizing asynchronous circuits from event-based specifications with conflicts on output signals. It describes a set of semantic-preserving transformations performed at the ...