Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Gopalakrishnan, Ganesh
and
Akella, Venkatesh
1994.
Asynchronous Circuit Design for VLSI Signal Processing.
p.
33.
Kondratyev, A.
and
Taubin, A.
1994.
Verification of the speed-independent circuits by STG unfoldings.
p.
64.
Gopalakrishnan, Ganesh
and
Akella, Venkatesh
1994.
High-level optimizations in compiling process descriptions to asynchronous circuits.
Journal of VLSI signal processing systems for signal, image and video technology,
Vol. 7,
Issue. 1-2,
p.
33.
Smith, Scott F.
and
Zwarico, Amy E.
1995.
Correct compilation of specifications to deterministic asynchronous circuits.
Formal Methods in System Design,
Vol. 7,
Issue. 3,
p.
155.
van Berkel, Kees
and
Rem, Martin
1995.
Asynchronous Digital Circuit Design.
p.
151.
Davis, Al
and
Nowick, Steven M.
1995.
Asynchronous Digital Circuit Design.
p.
1.
Brown, Geoffrey
Luk, Wayne
and
O'Leary, John
1996.
Retargeting a hardware compiler using protocol converters.
Formal Aspects of Computing,
Vol. 8,
Issue. 2,
p.
209.
Josephs, Mark B.
and
Bailey, Andrew M.
1997.
The Use of SI-Algebra in the design of sequencer circuits.
Formal Aspects of Computing,
Vol. 9,
Issue. 4,
p.
395.
Furber, S. B.
1997.
Low Power Design in Deep Submicron Electronics.
p.
461.
O'Leary, John
Brown, Geoffrey
and
Luk, Wayne
1997.
Verified compilation of communicating processes into clocked circuits.
Formal Aspects of Computing,
Vol. 9,
Issue. 5-6,
p.
537.
Josephs, Mark B.
1998.
Mathematics of Program Construction.
Vol. 1422,
Issue. ,
p.
234.
Bardsley, Andrew
and
Edwards, Doug
2000.
Synthesising an asynchronous DMA controller with Balsa.
Journal of Systems Architecture,
Vol. 46,
Issue. 14,
p.
1309.
Sharp, Richard
and
Mycroft, Alan
2001.
Static Analysis.
Vol. 2126,
Issue. ,
p.
57.
Mycroft, Alan
and
Sharp, Richard
2001.
Correct Hardware Design and Verification Methods.
Vol. 2144,
Issue. ,
p.
13.
Yakovlev, Alex
2002.
Application and Theory of Petri Nets 2002.
Vol. 2360,
Issue. ,
p.
70.
Kienhuis, Bart
Deprettere, Ed F.
van der Wolf, Pieter
and
Vissers, Kees
2002.
Embedded Processor Design Challenges.
Vol. 2268,
Issue. ,
p.
18.
Hehner, Eric C. R.
Norvell, Theodore S.
and
Paige, Richard F.
2003.
Programming Methodology.
p.
381.
Teifel, J.
and
Manohar, R.
2004.
Static tokens: using data .ow to automate concurrent pipeline synthesis.
p.
17.
Boubekeur, Menouer
Borrione, Dominique
Mounier, Laurent
Siriani, Antoine
and
Renaudin, Marc
2004.
Languages for System Specification.
p.
285.
Karaki, Nobuo
Nanmoto, Takashi
Ebihara, Hiroaki
Inoue, Satoshi
and
Shimoda, Tatsuya
2005.
43.1: A Flexible 8-bit Asynchronous Microprocessor Based on Low-Temperature Poly-Silicon (LTPS) TFT Technology.
SID Symposium Digest of Technical Papers,
Vol. 36,
Issue. 1,
p.
1430.