Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Rectangle-packing-based module placement
Murata, Hiroshi, Fujiyoshi, Kunihiro, Nakatake, Shigetoshi, Kajitani, Yoji
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Binary decision diagrams and beyond: enabling technologies for formal verification
Bryant, Randal E.
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Communication synthesis for distributed embedded systems
Yen, Ti-Yen, Wolf, Wayne
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Pattern generation for a deterministic BIST scheme
Hellebrand, Sybille, Reeb, Birgit, Tarnick, Steffen, Wunderlich, Hans-Joachim
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Generating sparse partial inductance matrices with guaranteed stability
Krauter, Byron, Pileggi, Lawrence T.
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Get full text
Conference Proceeding
Who are the variables in your neighborhood
Panda, Shipra, Somenzi, Fabio
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
High-density reachability analysis
Ravi, Kavita, Somenzi, Fabio
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Single-layer fanout routing and routability analysis for Ball Grid Arrays
Yu, Man-Fai, Dai, Wayne Wei-Ming
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Activity-driven clock design for low power circuits
Téllez, Gustavo E., Farrahi, Amir, Sarrafzadeh, Majid
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Instruction selection using binate covering for code size optimization
Liao, Stan, Devadas, Srinivas, Keutzer, Kurt, Tjiang, Steve
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Synthesis of multiplier-less FIR filters with minimum number of additions
Mehendale, Mahesh, Sherlekar, S. D., Venkatesh, G.
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
A high-level design and optimization tool for analog RF receiver front-ends
Crols, Jan, Donnay, Stéphane, Steyaert, Michiel, Gielen, Georges
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Get full text
Conference Proceeding
Dynamic test signal design for analog ICs
Devarayanadurg, Giri, Soma, Mani
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Get full text
Conference Proceeding
A formal approach to nonlinear analog circuit verification
Hedrich, Lars, Barke, Erich
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Get full text
Conference Proceeding
Synthesizing Petri nets from state-based models
Cortadella, Jordi, Kishinevsky, Michael, Lavagno, Luciano, Yakovlev, Alex
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Published in Computer-Aided Design, International Conference on (ICCAD '95) (01.12.1995)
Get full text
Conference Proceeding
Diagnosis of realistic bridging faults with single stuck-at information
Chess, Brian, Lavo, David B., Ferguson, F. Joel, Larrabee, Tracy
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding
Hybrid decision diagrams
Clarke, E. M., Fujita, M., Zhao, X.
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)
Get full text
Conference Proceeding