Conference paper
Symbolic simulation for correct machine design
William C. Carter, William H. Joyner, et al.
DAC 1979
William C. Carter, William H. Joyner, et al.
DAC 1979
William C. Carter, Charles E. McCarthy
IEEE TC
Willard G. Bouricius, William C. Carter, et al.
IEEE TC