海量图书期刊资源,随时随地畅享阅读乐趣
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Symbolic model checking in practiceCampos, S.V.A. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Design for testability reuse in synthesis for testabilityBukovjan, P.; Marzouki, M.; Maroufi, W. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Solving satisfiability in combinational circuits with backtrack search and recursive learningMarques-Silva, J.P.; Guerra e Silva, L. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - An approach for interface generation in the PISH co-design systemAraujo, C.C.; Barros, E. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Fault detection in systems with 2nd order dynamics using transient analysisCalvano, J.V.; Alves, V.C.; Lubaszewski, M. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Estimating functional unit number in the PISH codedesign system by using Petri netsMaciel, P.; Barros, E.; Rosenstiel, W. · 1999
[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - A multi-functional cell for CMOS analog applications in low-voltageChi-Hung Lin, ; Pimenta, T.C.; Ismail, M.; Caldeira, L. · 1999
[IEEE Comput. Soc Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings - Munich, Germany (9-12 March 1999)] Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078) - OTA amplifiers design on digital sea-of-transistors arrayJung Hyun Choi, ; Bampi, S. · 1999
[Presses Polytech. Univ. Romandes ISCAS 2000 Geneva. 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings - Geneva, Switzerland (28-31 May 2000)] 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353) - TAT transistors on SOT array for mixed analog/digital applicationsJung Hyun Choi, ; Bampi, S. · 2000