The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for HLDVT with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000 (29) 2001 (29) 2002 (33) 2003 (29) 2004 (32) 2005 (31) 2006 (33) 2007 (29) 2008 (26) 2009 (29) 2010 (26) 2011 (24) 2012 (25) 2016 (28) 2017 (16)
Publication types (Num. hits)
article(2) inproceedings(402) proceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 419 publication records. Showing 419 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
85Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel FFT Compiler: from math to efficient hardware HLDVT invited short paper. Search on Bibsonomy HLDVT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51 2017 IEEE International High Level Design Validation and Test Workshop, HLDVT 2017, Santa Cruz, CA, USA, October 5-6, 2017 Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  BibTeX  RDF
51Zhongqi Cheng, Tim Schmidt, Guantao Liu, Rainer Dömer Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case study. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Binod Kumar 0001, Kanad Basu, Masahiro Fujita, Virendra Singh RTL level trace signal selection and coverage estimation during post-silicon validation. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Zahra Shirmohammadi, Hadi Zamani Sabzi, Seyed Ghassem Miremadi 3D-DyCAC: Dynamic numerical-based mechanism for reducing crosstalk faults in 3D ICs. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Guy Barash, Eitan Farchi A randomized algorithm for constructing cross-feature tests from single feature tests. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Sophia Balkovski, Ian G. Harris Designing cyber-physical systems from natural language descriptions. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Siroos Madani, Kasem Khalil, Bappaditya Dey, Devante Bonton, Magdy A. Bayoumi Repair techniques for aged TSVs in 3D integrated circuits. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Michele Lora Validation of HMI applications for industrial smart display. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Tonmoy Roy, Michael Hsiao Reachability analysis in RTL circuits using k-induction bounded model checking. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Farzaneh Zokaee, Hossein Sabaghian Bidgoli, Vahid Janfaza, Payman Behnam, Zainalabedin Navabi A novel SAT-based ATPG approach for transition delay faults. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Keerthikumara Devarajegowda, Wolfgang Ecker On generation of properties from specification. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Daniela De Venuto, Giovanni Mezzina, V. L. Gallo Design and implementation of FPGA-based muscle conduction velocity tracker in dynamic contractions during the gait. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Pankaj Moharikar, Jayakrishna Guddeti Automated test generation for post silicon microcontroller validation. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Florenc Demrozi, Riccardo Zucchelli, Graziano Pravadelli Exploiting sub-graph isomorphism and probabilistic neural networks for the detection of hardware Trojans at RTL. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Maral Amir, Tony Givargis HES machine: Harmonic equivalent state machine modeling for cyber-physical systems. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51Masahiro Fujita An approach to approximate computing: Logic transformations for one-minterm changes in specification. Search on Bibsonomy HLDVT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
51 IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016 Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  BibTeX  RDF
51Prab Varma, Miroslav N. Velev Welcome Message. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Qinhao Wang, Yusuke Kimura, Masahiro Fujita Automatically adjusting system level designs after RTL/gate-level ECO. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Yusuke Kimura, Masahiro Fujita Specification by existing design plus use-cases. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Guantao Liu, Tim Schmidt, Rainer Dömer A segment-aware multi-core scheduler for system C PDES. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder High-level modeling and verification of cellular signaling. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Rahul Mangharam High-level modeling for computer-aided clinical trials of medical devices. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Sebastian Reiter 0003, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel Fault injection ecosystem for assisted safety validation of automotive systems. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Jacob A. Abraham Cross-layer resilience: are high-level techniques always better? Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Mejid Kebaili, Jean-Christophe Brignone, Katell Morin-Allory Clock domain crossing formal verification: a meta-model. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Rosario Distefano, Nickolas Goncharenko, Franco Fummi, Rosalba Giugno, Gary D. Bader, Nicola Bombieri SyQUAL: a platform for qualitative modelling and simulation of biological systems. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Kasper Søe Luckow, Corina S. Pasareanu Log2model: inferring behavioral models from log data. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Daniel Yunge, Sangyoung Park, Philipp H. Kindt, Graziano Pravadelli, Samarjit Chakraborty Dynamic service synthesis and switching for medical IoT and ambient assisted living. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Xian Li 0002, Klaus Schneider 0001 Control-flow guided clause generation for property directed reachability. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Jörg Fickenscher, Oliver Reiche, Jens Schlumberger, Frank Hannig, Jürgen Teich Modeling, programming and performance analysis of automotive environment map representations on embedded GPUs. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Jason G. Tong, Marc Boule, Zeljko Zilic Accelerating assertion assessment using GPUs. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng 0001, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu Design space exploration for deterministic ethernet-based architecture of automotive systems. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Qinsi Wang, Edmund M. Clarke Formal modeling of biological systems. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Sarmad Tanwir, Michael S. Hsiao, Loganathan Lingappan Hardware-in-the-loop model-less diagnostic test generation. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Eman El Mandouh, Amr G. Wassal Estimation of formal verification cost using regression machine learning. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Subarna Sinha, David L. Dill Deciphering cancer biology using boolean methods. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Johannes Schreiner, Rainer Findenig, Wolfgang Ecker Design centric modeling of digital hardware. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Daniela De Venuto, Valerio Francesco Annese, Giovanni Mezzina, Michele Ruta, Eugenio Di Sciascio Brain-computer interface using P300: a gaming approach for neurocognitive impairment diagnosis. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde Formal semantics of behavior specifications in the architecture analysis and design language standard. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Xiaojun Sun, Priyank Kalla, Florian Enescu Word-level traversal of finite state machines using algebraic geometry. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51Michele Lora, Sara Vinco, Franco Fummi A unifying flow to ease smart systems integration. Search on Bibsonomy HLDVT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
51 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012 Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  BibTeX  RDF
51Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid Cause and effect of nondeterministic behavior in sequential and parallel SystemC simulators. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Mahesh Nanjundappa, Anirudh M. Kaushik, Hiren D. Patel, Sandeep K. Shukla Accelerating SystemC simulations using GPUs. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler Behavior Driven Development for circuit design and verification. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Nicola Nicolici On-chip stimuli generation for post-silicon validation. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51An-Che Cheng, Chia-Chih Yen, Jing-Yang Jou A formal method to improve SystemVerilog functional coverage. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Neil C. Audsley, Ian Gray, Andrea Acquaviva, Ralph Haines ToucHMore toolchain and system software for energy and variability customisation. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Rainer Findenig, Thomas Leitner, Wolfgang Ecker Single-source hardware modeling of different abstraction levels with State Charts. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Freek Verbeek, Julien Schmaltz Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Dogan Ulus, Alper Sen 0001 Using haloes in mixed-signal assertion based verification. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Rolf Drechsler, Ian G. Harris, Robert Wille Generating formal system models from natural language descriptions. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Bijan Alizadeh, Masahiro Fujita A functional test generation technique for RTL datapaths. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Diego Braga, Franco Fummi, Graziano Pravadelli, Sara Vinco The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Romain Lemaire, Sébastien Thuries, Frédéric Heitzmann A flexible modeling environment for a NoC-based multicore architecture. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva Energy aware TLM platform simulation via RTL abstraction. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Olfat El-Mahi, Gabriela Nicolescu, Gilles Pesant, Giovanni Beltrame Embedded system verification through constraint-based scheduling. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Hao Zheng 0001, Andrew Price, Chris J. Myers Using decision diagrams to compactly represent the state space for explicit model checking. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Ian G. Harris Automatic generation of Verilog bus transactors from natural language protocol specifications. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Kyle Balston, Alan J. Hu, Steven J. E. Wilton, Amir Nahir Emulation in post-silicon validation: It's not just for functionality anymore. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Yu Bai 0003, Jens Brandt 0001, Klaus Schneider 0001 Monitoring distributed reactive systems. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Masahiro Fujita Post-silicon verification and debugging with control flow traces and patchable hardware. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Weiwei Chen 0001, Che-Wei Chang, Xu Han 0002, Rainer Dömer Eliminating race conditions in system-level models by using parallel simulation infrastructure. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli Accurate profiling of oracles for self-checking time-constrained embedded software. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Huy Nguyen, Michael S. Hsiao Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Kanad Basu, Prabhat Mishra 0001, Priyadarsan Patra Constrained signal selection for post-silicon validation. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Zeljko Zilic, Sandeep K. Shukla (eds.) 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011 Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  BibTeX  RDF
51Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Jinpeng Lv, Priyank Kalla, Florian Enescu Verification of composite Galois field multipliers over GF ((2m)n) using computer algebra techniques. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Min Li 0013, Kelson Gent, Michael S. Hsiao Utilizing GPGPUs for design validation with a modified Ant Colony Optimization. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Hansu Cho, Samar Abdi Automatic generation of transducer models for multicore system design. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Matin Hashemi, Soheil Ghiasi Towards scalable utilization of embedded manycores in throughput-sensitive applications. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Alexander W. Rath, Volkan Esen, Wolfgang Ecker Analog transaction level modeling. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Mike Gemünde, Jens Brandt 0001, Klaus Schneider 0001 Causality analysis of synchronous programs with refined clocks. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Andrea Pellegrini, Valeria Bertacco Cardio: Adaptive CMPs for reliability through dynamic introspective operation. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Wei Hu, Huy Nguyen, Michael S. Hsiao Sufficiency-based filtering of invariants for Sequential Equivalence Checking. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik SAT-based techniques for determining backbones for post-silicon fault localisation. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Amir Masoud Gharehbaghi, Masahiro Fujita Formal verification guided automatic design error diagnosis and correction of complex processors. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Gunar Schirner Modeling, synthesis, and validation of heterogeneous biomedical embedded systems. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Somnath Banerjee 0003, Tushar Gupta, Saurabh Jain A scalable hybrid verification system based on HDL slicing. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Tao Xie 0006, Wolfgang Müller 0003, Florian Letombe IP-XACT based system level mutation testing. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Mehdi Karimibiuki, Kyle Balston, Alan J. Hu, André Ivanov Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli Interactive presentation abstract: Assertion-based verification in embedded-software design. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Hans Eveking, Tobias Dornes, Martin Schweikert Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Bijan Alizadeh, Masahiro Fujita Modular equivalence verification of polynomial datapaths with multiple word-length operands. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Charalambos Ioannides, Geoff Barrett, Kerstin Eder Introducing XCS to Coverage Directed test Generation. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Frederic Risacher, Kenneth J. Schultz Software agnostic approaches to explore pre-silicon system performance. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Peter Lisherness, Kwang-Ting (Tim) Cheng Coverage discounting: A generalized approach for testbench qualification. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51 IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010 Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  BibTeX  RDF
51Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek An ontology and constraint based approach to cache preloading. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
51Haiqiong Yao, Hao Zheng 0001, Chris J. Myers State space reductions for scalable verification of asynchronous designs. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
51Ashvin Dsouza Static analysis of deadends in SVA constraints. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
51Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker Fast and accurate UML State Chart modeling using TLM+ control flow abstraction. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
51Sumit Ahuja, Wei Zhang, Sandeep K. Shukla System level simulation guided approach to improve the efficacy of clock-gating. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 419 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license