共 18 条
[2]
Crawford J., 1990, COMPCON Spring '90: Thirty-Fifth IEEE Computer Society International Conference. Intellectual Leverage. Digest of Papers. (Cat. No.90CH2843-1), P254, DOI 10.1109/CMPCON.1990.63682
[3]
Dahl J., 2008, CVXOPT PYTHON PACKAG
[4]
Ercolani S., 1989, Proceedings of the 1st European Test Conference (IEEE Cat. No.89CH2696-3), P132, DOI 10.1109/ETC.1989.36234
[5]
Fishburn J., 1985, INT C COMP AID DES
[6]
Galceran-Oms M, 2010, DES AUT TEST EUROPE, P961
[7]
Hu J, 2012, ICCAD-IEEE ACM INT, P233
[9]
Automating wave-pipelined circuit design
[J].
IEEE DESIGN & TEST OF COMPUTERS,
2003, 20 (06)
:51-58
[10]
Kroening D, 2001, DES AUT CON, P810, DOI 10.1109/DAC.2001.935617