Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Chaff: engineering an efficient SAT solver
Moskewicz, Matthew W., Madigan, Conor F., Zhao, Ying, Zhang, Lintao, Malik, Sharad
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
JouleTrack: a web based tool for software energy profiling
Sinha, Amit, Chandrakasan, Anantha P.
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Addressing the system-on-a-chip interconnect woes through communication-based design
Sgroi, M., Sheets, M., Mihal, A., Keutzer, K., Malik, S., Rabaey, J., Sangiovanni-Vencentelli, A.
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Dynamic management of scratch-pad memory space
Kandemir, M., Ramanujam, J., Irwin, J., Vijaykrishnan, N., Kadayif, I., Parikh, A.
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Test volume and application time reduction through scan chain concealment
Bayraktaroglu, Ismet, Orailoglu, Alex
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Micronetwork-based integration for SOCs: 673
Wingard, Drew
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (2001)
Get full text
Conference Proceeding
Modeling and analysis of differential signaling for minimizing inductive cross-talk
Massoud, Yehia, Kawa, Jamil, MacMillen, Don, White, Jacob
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Published in Proceedings of the 38th annual Design Automation Conference (01.01.2001)
Get full text
Conference Proceeding
SATIRE: a new incremental satisfiability engine
Whittemore, Jesse, Kim, Joonyoung, Sakallah, Karem
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Validating the intel pentium 4 microprocessor
Bentley, Bob
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Automatic generation of application-specific architectures for heterogeneous multiprocessor system-on-chip
Lyonnard, Damien, Yoo, Sungjoo, Baghdadi, Amer, Jerraya, Ahmed A.
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Dynamic voltage scaling and power management for portable systems
Simunic, Tajana, Benini, Luca, Acquaviva, Andrea, Glynn, Peter, De Micheli, Giovanni
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding
Hardware metering
Koushanfar, Farinaz, Qu, Gang
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Published in Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) (01.01.2001)
Get full text
Conference Proceeding