Gate-level modelling and verification of asynchronous circuits using CSPM and FDR
Josephs, M.B.
Published in 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) (01.03.2007)
Published in 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) (01.03.2007)
Get full text
Conference Proceeding
Asynchronous Packet-Switching for Networks-on-Chip
Xu, J., Josephs, M.B., Sotudeh, R.
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Get full text
Conference Proceeding
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis
Kapoor, Hemangee K., Josephs, Mark B.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Get full text
Conference Proceeding
CMOS design of the tree arbiter element
Josephs, M.B., Yantchev, J.T.
Published in IEEE transactions on very large scale integration (VLSI) systems (01.12.1996)
Published in IEEE transactions on very large scale integration (VLSI) systems (01.12.1996)
Get full text
Journal Article
An overview of D-I algebra
Josephs, M.B., Udding, J.T.
Published in [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences (1993)
Published in [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences (1993)
Get full text
Conference Proceeding
Sequencer circuits for VLSI programming
Bailey, A., Josephs, M.B.
Published in Proceedings Second Working Conference on Asynchronous Design Methodologies (1995)
Published in Proceedings Second Working Conference on Asynchronous Design Methodologies (1995)
Get full text
Conference Proceeding
Low-latency asynchronous FIFO buffers
Yantchev, J.T., Huang, C.G., Josephs, M.B., Nedelchev, I.M.
Published in Proceedings Second Working Conference on Asynchronous Design Methodologies (1995)
Published in Proceedings Second Working Conference on Asynchronous Design Methodologies (1995)
Get full text
Conference Proceeding