Digital Circuit Testing on a Network of Workstations
暂无分享,去创建一个
[1] Andrew S. Grimshaw,et al. Easy-to-use object-oriented parallel processing with Mentat , 1993, Computer.
[2] Srinivas Devadas,et al. Test generation and verification for highly sequential circuits , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[3] Prithviraj Banerjee,et al. Portable parallel test generation for sequential circuits , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
[4] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.