Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hldvt/hldvt2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/hldvt/Abramovici08,
author = {Miron Abramovici},
title = {In-system silicon validation using a reconfigurable platform},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {73},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695878},
doi = {10.1109/HLDVT.2008.4695878},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/Abramovici08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/AlemzadehNCSP08,
author = {Homa Alemzadeh and
Zainalabedin Navabi and
Stefano Di Carlo and
Alberto Scionti and
Paolo Prinetto},
title = {Functional testing approaches for "BIFST-able" tlm{\_}fifo},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695882},
doi = {10.1109/HLDVT.2008.4695882},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/AlemzadehNCSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/CarloPSA08,
author = {Stefano Di Carlo and
Paolo Prinetto and
Alberto Scionti and
Zaid Al{-}Ars},
title = {Automating defects simulation and fault modeling for SRAMs},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695898},
doi = {10.1109/HLDVT.2008.4695898},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/CarloPSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/CordibellaFPQ08,
author = {Stefano Cordibella and
Franco Fummi and
Giovanni Perbellini and
Davide Quaglia},
title = {A {HW/SW} co-simulation framework for the verification of multi-CPU
systems},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {125--131},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695888},
doi = {10.1109/HLDVT.2008.4695888},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/CordibellaFPQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/GeistV08,
author = {Daniel Geist and
Oded Vaida},
title = {A method for hunting bugs that occur due to system conflicts},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {11--17},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695866},
doi = {10.1109/HLDVT.2008.4695866},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/GeistV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/GilSGBG08,
author = {Daniel Gil and
Luis J. Saiz and
Joaquin Gracia and
Juan Carlos Baraza and
Pedro J. Gil},
title = {Injecting intermittent faults for the dependability validation of
commercial microcontrollers},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695899},
doi = {10.1109/HLDVT.2008.4695899},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/GilSGBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/GuglielmoFHPS08,
author = {Giuseppe Di Guglielmo and
Franco Fummi and
Mark Hampton and
Graziano Pravadelli and
Francesco Stefanni},
title = {The role of parallel simulation in functional verification},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695887},
doi = {10.1109/HLDVT.2008.4695887},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/GuglielmoFHPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Hatefi-ArdakaniGH08,
author = {Hassan Hatefi{-}Ardakani and
Amir Masoud Gharehbaghi and
Shaahin Hessabi},
title = {Timing verification of distributed network systems at higher levels
of abstraction},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {101--107},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695884},
doi = {10.1109/HLDVT.2008.4695884},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/Hatefi-ArdakaniGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/KapoorGHVdR08,
author = {Bhanu Kapoor and
John Goodenough and
Shankar Hemmady and
Shireesh Verma and
Manuel A. d'Abreu and
Kaushik Roy},
title = {Panel: SoC power management implications on validation and testing},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {135--137},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695890},
doi = {10.1109/HLDVT.2008.4695890},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/KapoorGHVdR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Karimi08,
author = {Farzin Karimi},
title = {Applications of decorator and observer design patterns in functional
verification},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {18--22},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695867},
doi = {10.1109/HLDVT.2008.4695867},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/Karimi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/KimCSY08,
author = {Dusung Kim and
Maciej J. Ciesielski and
Kyuho Shim and
Seiyang Yang},
title = {Temporal parallel gate-level timing simulation},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {111--116},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695886},
doi = {10.1109/HLDVT.2008.4695886},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/KimCSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/LiCWR08,
author = {Wei{-}Lin Li and
Tsung{-}Tang Chen and
Po{-}Han Wu and
Jiann{-}Chyi Rau},
title = {Test slice difference technique for low power encoding},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695869},
doi = {10.1109/HLDVT.2008.4695869},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/LiCWR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/MathH08,
author = {Prakash Math and
David Hoenig},
title = {Janus: {A} novel use of Formal Verification for targeted behavioral
equivalence},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {64--70},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695876},
doi = {10.1109/HLDVT.2008.4695876},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/MathH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Morin-AlloryBBZ08,
author = {Katell Morin{-}Allory and
Marc Boule and
Dominique Borrione and
Zeljko Zilic},
title = {Proving and disproving assertion rewrite rules with automated theorem
provers},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695875},
doi = {10.1109/HLDVT.2008.4695875},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/Morin-AlloryBBZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/NishiharaMF08,
author = {Tasuku Nishihara and
Takeshi Matsumoto and
Masahiro Fujita},
title = {Multi-level Bounded Model Checking to detect bugs beyond the bound},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {49--55},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695874},
doi = {10.1109/HLDVT.2008.4695874},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/NishiharaMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ParikhH08,
author = {Ankur Parikh and
Michael S. Hsiao},
title = {On dynamic switching of navigation for semi-formal design validation},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695873},
doi = {10.1109/HLDVT.2008.4695873},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/ParikhH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/RamineniVH08,
author = {Kiran Ramineni and
Shireesh Verma and
Ian G. Harris},
title = {Evaluation of an efficient control-oriented coverage metric},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {153--157},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695895},
doi = {10.1109/HLDVT.2008.4695895},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/RamineniVH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SchoberLHM08,
author = {Torsten Schober and
Shimon Landa and
Bodo Hoppe and
Ronny Morad},
title = {{IBM} system z functional and performance verification using X-Gen},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695883},
doi = {10.1109/HLDVT.2008.4695883},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/SchoberLHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Stollon08,
author = {Neal Stollon},
title = {On Chip Instrument application to SoC analysis},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {74},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695879},
doi = {10.1109/HLDVT.2008.4695879},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/Stollon08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/UdawattaMEM08,
author = {Kapila Udawatta and
Sergey Maidanov and
Mehdi Ehsanian and
Surya Musunuri},
title = {Test and validation of a non-deterministic system - True Random Number
Generator},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695881},
doi = {10.1109/HLDVT.2008.4695881},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/UdawattaMEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/UgarteS08,
author = {{\'{I}}{\~{n}}igo Ugarte and
Pablo Sanchez},
title = {Optimized coverage-directed random simulation},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695894},
doi = {10.1109/HLDVT.2008.4695894},
timestamp = {Tue, 14 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/UgarteS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/VermaABGGR08,
author = {Shireesh Verma and
Srinath Atluri and
Valeria Bertacco and
Mark Glasser and
Badri Gopalan and
Sharon Rosenberg},
title = {Panel: Software practices for verification/testbench management},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {35--37},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695871},
doi = {10.1109/HLDVT.2008.4695871},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/VermaABGGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/XuLL08,
author = {Xiaoxi Xu and
Cheng{-}Chew Lim and
Michael J. Liebelt},
title = {Positioning test-benches and test-programs in interaction-oriented
system-on-chip verification},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695865},
doi = {10.1109/HLDVT.2008.4695865},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/XuLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ZickH08,
author = {Kenneth M. Zick and
John P. Hayes},
title = {High-level vulnerability over space and time to insidious soft errors},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {161--168},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695897},
doi = {10.1109/HLDVT.2008.4695897},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/ZickH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ZivWHG08,
author = {Avi Ziv and
Chris Wilson and
Adnan Hamid and
Joerg Grosse},
title = {Special session - What's so intelligent about testbenches?},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
pages = {141--142},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HLDVT.2008.4695892},
doi = {10.1109/HLDVT.2008.4695892},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/ZivWHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2008,
title = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4690895/proceeding},
isbn = {978-1-4244-2922-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hldvt/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 00:41 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
