[IEEE 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS) - Boston, MA, USA (2017.8.6-2017.8.9)] 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS) - Formal modeling and verification for pre-charge half buffer gates and circuits
Sakib, Ashiq A., Smith, Scott C., Srinivasan, Sudarshan K.Year:
2017
Language:
english
DOI:
10.1109/MWSCAS.2017.8052974
File:
PDF, 222 KB
english, 2017