A. Coady

According to our database, A. Coady authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.

Ying Xu, Eduard Cerny, Allan Silburt, A. Coady, Ying Liu, Philip Pownall

Proceedings of the Correct Hardware Design and Verification Methods, 1999