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
Willard G. Bouricius, William C. Carter, et al.
IEEE TC
William C. Carter, Charles E. McCarthy
IEEE TC