Jo C. Ebergen

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 2

Top Topics

Formal Verification

Riemannian Manifolds

Top Venues

IEEE Trans. Computers

Publications

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge
Formal verification of division and square root implementations, an Oracle report. FMCAD (2016)
Jo C. Ebergen, Navaneeth Jamadagni
Radix-2 Division Algorithms with an Over-Redundant Digit Set. IEEE Trans. Computers 64 (9) (2015)
Navaneeth Jamadagni, Jo C. Ebergen
An Asynchronous Divider Implementation. ASYNC (2012)
Jo C. Ebergen, Bill Coates, Austin Lee
Long-Distance On-chip Communication Using GasP. ASYNC (2011)
Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins
An Evaluation of Asynchronous Stacks. IEEE Des. Test Comput. 28 (5) (2011)
Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
08371 Abstracts Collection - Fault-Tolerant Distributed Algorithms on VLSI Chips. Fault-Tolerant Distributed Algorithms on VLSI Chips (2008)
Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
08371 Summary - Fault-Tolerant Distributed Algorithms on VLSI Chips. Fault-Tolerant Distributed Algorithms on VLSI Chips (2008)
David Hopkins, Alex Chow, Robert Bosnyak, Bill Coates, Jo C. Ebergen, Scott Fairbanks, Jonathan Gainsley, Ron Ho, Jon K. Lexau, Frankie Liu, Tarik Ono, Justin Schauer, Ivan E. Sutherland, Robert J. Drost
Circuit Techniques to Enable 430Gb/s/mm2 Proximity Communication. ISSCC (2007)
Jo C. Ebergen, Steve Furber, Arash Saifhashemi
Notes On Pulse Signaling. ASYNC (2007)
Jo C. Ebergen, Alex Chow, Bill Coates, Justin Schauer, David Hopkins
An Asynchronous High-Throughput Control Circuit For Proximity Communication. ASYNC (2006)
Jo C. Ebergen, Jonathan Gainsley, Jon K. Lexau, Ivan E. Sutherland
GasP Control for Domino Circuits. ASYNC (2005)
Jo C. Ebergen, Jonathan Gainsley, Paul Cunningham
Transistor Sizing: How to Control the Speed and Energy Consumption of a Circuit. ASYNC (2004)
Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins
A Fast and Energy-Efficient Stack. ASYNC (2004)
Jo C. Ebergen
Circuits Without Clocks: What Makes Them Tick? OPODIS (2003)
Igor Benko, Jo C. Ebergen
Composing Snippets. Concurrency and Hardware Design (2002)
Jo C. Ebergen
Squaring the FIFO in GasP. ASYNC (2001)
Igor Benko, Jo C. Ebergen
Composing Snippets. ASYNC (2000)
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen, Marly Roncken
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits. ASYNC (2000)
Jo C. Ebergen, Robert Berks
Response-time properties of linear asynchronous pipelines. Proc. IEEE 87 (2) (1999)
Bill Coates, Jo C. Ebergen, Jon K. Lexau, Scott Fairbanks, Ian W. Jones, Alex Ridgway, David Money Harris, Ivan E. Sutherland
A Counterflow Pipeline Experiment. ASYNC (1999)
Jo C. Ebergen, Scott Fairbanks, Ivan E. Sutherland
Predicting Performance of Micropipelines Using Charlie Diagrams. ASYNC (1998)
Maitham Shams, Jo C. Ebergen, Mohamed I. Elmasry
Modeling and comparing CMOS implementations of the C-element. IEEE Trans. Very Large Scale Integr. Syst. 6 (4) (1998)
Jo C. Ebergen, Robert Berks
Response Time Properties of Some Asynchronous Circuits. ASYNC (1997)
Maitham Shams, Jo C. Ebergen, Mohamed I. Elmasry
Optimizing CMOS Implementations of the C-element. ICCD (1997)
John Segers, Jo C. Ebergen
Design and Analysis of Up-Down Counters. Sci. Comput. Program. 27 (2) (1996)
Maitham Shams, Jo C. Ebergen, Mohamed I. Elmasry
A comparison of CMOS implementations of an asynchronous circuits primitive: the C-element. ISLPED (1996)
Igor Benko, Jo C. Ebergen
Delay-insensitive solutions to the committee problem. ASYNC (1994)
Jo C. Ebergen, P. F. Bertrand, S. Gingras
Solving a Mutual Exclusion Problem with the RGD Arbiter. Asynchronous Design Methodologies (1993)
Jo C. Ebergen, Ad M. G. Peeters
Counters. Formal Methods Syst. Des. 3 (3) (1993)
Jo C. Ebergen
Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components. Sci. Comput. Program. 18 (3) (1992)
Janusz A. Brzozowski, Jo C. Ebergen
On the Delay-Sensitivity of Gate Networks. IEEE Trans. Computers 41 (11) (1992)
Jo C. Ebergen, Ad M. G. Peeters
Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits. Designing Correct Circuits (1992)
Jo C. Ebergen
A Formal Approach to Designing Delay-Insensitive Circuits. Distributed Comput. 5 (1991)
Jo C. Ebergen, Rob R. Hoogerwoord
A Derivation of a Serial-Parallel Multiplier. Sci. Comput. Program. 15 (2-3) (1990)
Janusz A. Brzozowski, Jo C. Ebergen
Recent Developments in the Design of Asynchronous Circuits. FCT (1989)