# Mark R. Greenstreet

According to our database

Collaborative distances:

^{1}, Mark R. Greenstreet authored at least 75 papers between 1987 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019

Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial).

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms.

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018

2017

Interleaved Architectures for High-Throughput Synthesizable Synchronization FIFOs.

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

2016

Proceedings of the 22nd IEEE International Symposium on Asynchronous Circuits and Systems, 2016

2015

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification.

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Formal Methods Syst. Des., 2014

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

IEEE Trans. Computers, 2012

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Proceedings of the International Conference on Parallel Processing, 2011

Parameterized verification of deadlock freedom in symmetric cache coherence protocols.

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

2010

Varactor-based signal restoration for near-speed-of-light surfing global interconnect.

Proceedings of the IEEE Custom Integrated Circuits Conference, 2010

Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2009

Estimating reliability and throughput of source-synchronous wave-pipelined interconnect.

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

Towards reliable 5Gbps wave-pipelined and 3Gbps surfing interconnect in 65nm FPGAs.

Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

Proceedings of the Automated Technology for Verification and Analysis, 2009

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2008

IEEE Trans. Very Large Scale Integr. Syst., 2008

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

Proceedings of the Formal Methods in Computer-Aided Design, 2008

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007

Numer. Linear Algebra Appl., 2007

IEEE J. Solid State Circuits, 2007

IEEE Des. Test Comput., 2007

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Proceedings of the 44th Design Automation Conference, 2007

Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

2006

Proc. IEEE, 2006

Electron. Notes Theor. Comput. Sci., 2006

Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005

Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow.

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Proceedings of the 42nd Design Automation Conference, 2005

Proceedings of the 11th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2005), 2005

2004

Proceedings of the Integrated Circuit and System Design, 2004

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003

Microprocess. Microsystems, 2003

Proceedings of the 2003 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2003), 2003

Proceedings of the 40th Design Automation Conference, 2003

Proceedings of the 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 2003

2002

Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002

2001

Int. J. Softw. Tools Technol. Transf., 2001

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Proceedings of the 7th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2001), 2001

1999

ACM Trans. Design Autom. Electr. Syst., 1999

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1997

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

IEEE Des. Test Comput., 1995

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1992

Using Synchronized Transitions for Simulation and Timing Verification.

Proceedings of the Designing Correct Circuits, 1992

1990

J. VLSI Signal Process., 1990

1988

BIT, 1988

1987

Integr., 1987