Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Formal Verification of Restoring Dividers made Fast and Simple
Dasari, Jiteshri, Ciesielski, Maciej
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
Loading…
HAFIX: Hardware-Assisted Flow Integrity eXtension
Davi, Lucas, Hanreich, Matthias, Paul, Debayan, Sadeghi, Ahmad-Reza, Koeberl, Patrick, Sullivan, Dean, Arias, Orlando, Jin, Yier
Published in Proceedings - ACM IEEE Design Automation Conference (01.06.2015)
Published in Proceedings - ACM IEEE Design Automation Conference (01.06.2015)
Get full text
Conference Proceeding
Loading…
Generation of Mixed-Driving Multi-Bit Flip-Flops for Power Optimization
Liu, Meng-Yun, Lai, Yu-Cheng, Mak, Wai-Kei, Wang, Ting-Chi
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Published in 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (29.10.2022)
Get full text
Conference Proceeding
Loading…
Abstract Domains of Affine Relations
Elder, Matt, Lim, Junghee, Sharma, Tushar, Andersen, Tycho, Reps, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)
Published in ACM transactions on programming languages and systems (28.10.2014)
Get full text
Journal Article
Loading…
Tendon Vibration Increases Vision-induced Kinesthetic Illusions in a Virtual Environment
Hagimori, Daiki, Yoshimoto, Shunsuke, Sakata, Nobuchika, Kiyokawa, Kiyoshi
Published in Proceedings (IEEE Conference on Virtual Reality and 3D User Interfaces. Online) (01.03.2019)
Published in Proceedings (IEEE Conference on Virtual Reality and 3D User Interfaces. Online) (01.03.2019)
Get full text
Conference Proceeding
Loading…
System level exploration of a STT-MRAM based level 1 data-cache
Komalan, Manu Perumkunnil, Tenllado, Christian, Gomez Perez, Jose Ignacio, Fernandez, Francisco Tirado, Catthoor, Francky
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2015)
Get full text
Conference Proceeding
Loading…
Out-of-order parallel simulation for ESL design
Chen, Weiwei, Han, Xu, Dömer, Rainer
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
SUNMAP: a tool for automatic topology selection and generation for NoCs
Murali, Srinivasan, De Micheli, Giovanni
Published in 2004 41st Conference Design Automation (07.06.2004)
Published in 2004 41st Conference Design Automation (07.06.2004)
Get full text
Conference Proceeding
Loading…
Preemption delay analysis for floating non-preemptive region scheduling
Marinho, José Manuel, Nélis, Vincent, Petters, Stefan M., Puaut, Isabelle
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
Challenges on designing electrostatic discharge protection solutions for low power electronics
Liou, Juin J.
Published in Proceedings of the 2013 International Symposium on Low Power Electronics and Design (04.09.2013)
Published in Proceedings of the 2013 International Symposium on Low Power Electronics and Design (04.09.2013)
Get full text
Conference Proceeding
Loading…
Combining module selection and replication for throughput-driven streaming programs
Cong, Jason, Huang, Muhuan, Liu, Bin, Zhang, Peng, Zou, Yi
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
Efficient multiple-bit retention register assignment for power gated design: concept and algorithms
Chen, Yu-Guang, Shi, Yiyu, Lai, Kuan-Yu, Hui, Geng, Chang, Shih-Chieh
Published in 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (05.11.2012)
Published in 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (05.11.2012)
Get full text
Conference Proceeding
Loading…
The StageNet fabric for constructing resilient multicore systems
Gupta, Shantanu, Feng, Shuguang, Ansari, Amin, Blome, Jason, Mahlke, Scott
Published in 2008 41st IEEE/ACM International Symposium on Microarchitecture (08.11.2008)
Published in 2008 41st IEEE/ACM International Symposium on Microarchitecture (08.11.2008)
Get full text
Conference Proceeding
Loading…
Post-synthesis leakage power minimization
Rahman, Mohammad, Sechen, Carl
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations
Li, Min, Davoodi, Azadeh, Xie, Lin
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
Buffer sizing for clock power minimization subject to general skew constraints
Wang, Kai, Marek-Sadowska, Malgorzata
Published in 2004 41st Conference Design Automation (07.06.2004)
Published in 2004 41st Conference Design Automation (07.06.2004)
Get full text
Conference Proceeding
Loading…
Optimization intensive energy harvesting
Rofouei, Mahsan, Ghodrat, Mohammad Ali, Potkonjak, Miodrag, Martinez-Nova, Alfonso
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
Loading…
Thermally robust clocking schemes for 3D integrated circuits
Mondal, Mosin, Ricketts, Andrew J., Kirolos, Sami, Ragheb, Tamer, Link, Greg, Vijaykrishnan, N., Massoud, Yehia
Published in Proceedings of the conference on Design, automation and test in Europe (16.04.2007)
Published in Proceedings of the conference on Design, automation and test in Europe (16.04.2007)
Get full text
Conference Proceeding
Loading…
A methodology to improve timing yield in the presence of process variations
Raj, Sreeja, Vrudhula, Sarma B. K., Wang, Janet
Published in 2004 41st Conference Design Automation (01.01.2004)
Published in 2004 41st Conference Design Automation (01.01.2004)
Get full text
Conference Proceeding