{"id":"https://openalex.org/W2015809588","doi":"https://doi.org/10.1109/hldvt.2006.319989","title":"Panel: Assertion-Based Verification -What's the Big Deal?","display_name":"Panel: Assertion-Based Verification -What's the Big Deal?","publication_year":2006,"publication_date":"2006-11-01","ids":{"openalex":"https://openalex.org/W2015809588","doi":"https://doi.org/10.1109/hldvt.2006.319989","mag":"2015809588"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2006.319989","doi":"https://doi.org/10.1109/hldvt.2006.319989","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319989","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"},"parent_works":[],"lineage":["https://openalex.org/W2015809588"],"child_works_count":0,"type":"conference-abstract","is_traditional":false,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021517996","display_name":"Sandeep K. Shukla","orcid":"https://orcid.org/0000-0001-5525-7426","observed_orcids":["https://orcid.org/0000-0001-5525-7426"]},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sandeep Shukla","raw_affiliation_strings":["Virginia Tech, Blacksburg, Virginia","Virginia Tech., Blacksburg, Virginia 24061. Email: shukla@vt.edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, Virginia","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech., Blacksburg, Virginia 24061. Email: shukla@vt.edu","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050411743","display_name":"Alan J. Hu","orcid":"https://orcid.org/0000-0002-4276-0169","observed_orcids":["https://orcid.org/0000-0002-4276-0169"]},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alan Hu","raw_affiliation_strings":["University of British Columbia, Vancouver, Canada","University of British Columbia, Vancouver, Canada. Email: ajh@cs.ubc.ca"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Vancouver, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"University of British Columbia, Vancouver, Canada. Email: ajh@cs.ubc.ca","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090125983","display_name":"Jacob Abrahams","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jacob Abrahams","raw_affiliation_strings":["UT Austin Real Intent Mentor Graphics Cadence Synopsys","[UT-Austin]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UT Austin Real Intent Mentor Graphics Cadence Synopsys","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"[UT-Austin]","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060336834","display_name":"Pranav N Ashar","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pranav Ashar","raw_affiliation_strings":["UT Austin Real Intent Mentor Graphics Cadence Synopsys","Real Intent"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UT Austin Real Intent Mentor Graphics Cadence Synopsys","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Real Intent","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055482958","display_name":"Harry D. Foster","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4387155334","display_name":"Mentor Graphics (United States)","ror":"https://ror.org/00r59k631","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693","https://openalex.org/I4387155334"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Harry Foster","raw_affiliation_strings":["UT Austin Real Intent Mentor Graphics Cadence Synopsys","(Mentor Graphics)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UT Austin Real Intent Mentor Graphics Cadence Synopsys","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"(Mentor Graphics)","institution_ids":["https://openalex.org/I4387155334"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085518410","display_name":"Avner Landver","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Avner Landver","raw_affiliation_strings":["UT Austin Real Intent Mentor Graphics Cadence Synopsys","Cadence,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UT Austin Real Intent Mentor Graphics Cadence Synopsys","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Cadence,","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069098823","display_name":"Carl Pixley","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1335490905","display_name":"Synopsys (Switzerland)","ror":"https://ror.org/03mb54f81","country_code":"CH","type":"company","lineage":["https://openalex.org/I1335490905","https://openalex.org/I4210088951"]},{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Carl Pixley","raw_affiliation_strings":["UT Austin Real Intent Mentor Graphics Cadence Synopsys","SYNOPSYS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UT Austin Real Intent Mentor Graphics Cadence Synopsys","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"SYNOPSYS","institution_ids":["https://openalex.org/I1335490905","https://openalex.org/I4210088951"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"183","last_page":"183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8485999703407288,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8485999703407288,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.12479999661445618,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.013299999758601189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion-based-verification","display_name":"assertion-based verification","score":0.9940000176429749},{"id":"https://openalex.org/keywords/property-specification-language","display_name":"Property Specification Language","score":0.9259999990463257},{"id":"https://openalex.org/keywords/formal-property-verification","display_name":"formal property verification","score":0.8870000243186951},{"id":"https://openalex.org/keywords/temporal-assertions","display_name":"temporal assertions","score":0.6079999804496765},{"id":"https://openalex.org/keywords/design-for-verification","display_name":"design for verification","score":0.45899999141693115},{"id":"https://openalex.org/keywords/eda-tools","display_name":"EDA tools","score":0.7429999709129333}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8916420936584473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7853413820266724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7446520328521729},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.5244843363761902},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.47086918354034424},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.46173369884490967},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4280029535293579},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3928055465221405},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3436112105846405},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.24956852197647095},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1078203022480011},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2006.319989","doi":"https://doi.org/10.1109/hldvt.2006.319989","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319989","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2378973586","https://openalex.org/W313395762","https://openalex.org/W2367320441","https://openalex.org/W2367740188","https://openalex.org/W7097278700","https://openalex.org/W1979477023","https://openalex.org/W1532212856","https://openalex.org/W7047365200","https://openalex.org/W2101931376","https://openalex.org/W2133606353"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2,128],"given.":[3],"Assertion":[4],"based":[5,181,206],"validation":[6,188,212],"of":[7,62,81,150,162,169,199],"hardware":[8,84,173],"and":[9,76,90,103,117,122,176,179,219,236],"software":[10,25],"systems":[11],"has":[12],"been":[13,97,184],"in":[14,16,58,100,171,197,215],"use":[15],"the":[17,24,49,68,79,88,151,172,187,191,200,204,211,216,223],"industry":[18],"for":[19,144,157,210],"a":[20,42,167,208],"long":[21],"time.":[22],"In":[23,83],"languages":[26,125,140],"such":[27,63],"as":[28,154,156],"C++":[29],"or":[30],"Java,":[31],"there":[32],"are":[33,38],"special":[34],"assert":[35],"constructs":[36,134],"that":[37],"used":[39,98,143],"to":[40,53,166],"specify":[41],"Boolean":[43,129],"condition.":[44],"These":[45],"conditions":[46],"express":[47],"what":[48],"programmers":[50],"think":[51],"ought":[52],"hold,":[54],"at":[55,71,87,147,242],"specific":[56],"points":[57,73,149],"their":[59],"programs.":[60],"Violations":[61],"assertions":[64,95,146],"provide":[65],"clues":[66],"about":[67],"program":[69],"state":[70],"those":[72],"during":[74],"execution":[75],"hence":[77],"indicate":[78],"existence":[80],"bugs.":[82],"design":[85,174,217],"especially":[86],"RTL":[89],"higher":[91],"abstraction":[92],"levels,":[93],"similar":[94,123],"have":[96,183],"originally":[99],"proprietary":[101],"languages,":[102],"more":[104,132],"recently":[105],"with":[106],"PSL":[107,111,121,163],"(Property":[108],"Specification":[109],"Language).":[110],"was":[112],"standardized":[113],"initially":[114],"by":[115,119],"Accellera,":[116],"later":[118],"IEEE.":[120],"assertion":[124,205],"allow":[126],"not":[127],"expressions,":[130],"but":[131],"complex":[133],"involving":[135],"temporal":[136],"behaviors.":[137],"Therefore,":[138],"these":[139,240],"can":[141],"be":[142],"checking":[145],"certain":[148],"model":[152],"execution,":[153],"well":[155],"formal":[158,178],"property":[159],"verification.":[160],"Standardization":[161],"gave":[164],"rise":[165],"lot":[168],"interest":[170],"industry,":[175,218],"various":[177,192],"simulation":[180],"techniques":[182],"integrated":[185],"into":[186],"tools":[189],"from":[190,229,237],"EDA":[193],"companies.":[194],"The":[195],"question":[196],"front":[198],"panel":[201,244],"is":[202],"if":[203,220],"verification":[207],"panacea":[209],"gap":[213],"problem":[214],"not,":[221],"where":[222],"short":[224],"comings":[225],"are.":[226],"Industry":[227],"experts":[228],"Synopsys,":[230],"Cadence,":[231],"Mentor":[232],"Graphics,":[233],"Real":[234],"Intent,":[235],"Academia":[238],"debated":[239],"questions":[241],"this":[243]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-10-06T10:28:23.643775","created_date":"2016-06-24T00:00:00"}