High-level verification

High-level verification (HLV), or electronic system-level (ESL) verification, is the task to verify ESL designs at high abstraction level, i.e., it is the task to verify a model that represents hardware above register-transfer level (RTL) abstract level. For high-level synthesis (HLS or C synthesis), HLV is to HLS as functional verification is to logic synthesis.

Electronic digital hardware design has evolved from low level abstraction at gate level to register transfer level (RTL), the abstraction level above RTL is commonly called high-level, ESL, or behavioral/algorithmic level.

In high-level synthesis, behavioral/algorithmic designs in ANSI C/C++/SystemC code is synthesized to RTL, which is then synthesized into gate level through logic synthesis. Functional verification is the task to make sure a design at RTL or gate level conforms to a specification. As logic synthesis matures, most functional verification is done at the higher abstraction, i.e. at RTL level, the correctness of logic synthesis tool in the translating process from RTL description to gate netlist is of less concern today.

High-level synthesis is still an emerging technology, so High-level verification today has two important areas under development

  1. to validate HLS is correct in the translation process, i.e. to validate the design before and after HLS are equivalent, typically through formal methods
  2. to verify a design in ANSI C/C++/SystemC code is conforming to a specification, typically through logic simulation.

Terminology

History

Product areas

  • Formal Solution: Verify high level models against RTL designs
  • Simulation Solution: Intelligent stimulus generation, code and functional coverage, temporal assertion checker

See also

References

  • 1800-2005 — IEEE Standard for System Verilog—Unified Hardware Design, Specification, and Verification Language. 2005. doi:10.1109/IEEESTD.2005.97972. ISBN 0-7381-4810-5.
  • Accellera PSL v1.1 LRM, Accellera
  • "Native SystemC Assertion for OCP property checking" www.nascug.org
  • "Checking for TLM2.0 Compliance, Why bother?" www.nascug.org
  • Accellera (formerly OSCI; Open SystemC Initiative)

Read other articles:

Ishpuini dari Urartu

IshpuiniIshpuiniRaja UrartuReignskt. 828–810 SMPredecessorSarduri ISuccessorMenuaInformasi pribadiKematian810 SMAyahSarduri IIbuAraransaSpouseNairaAnakSarduri, Menua Ishpuini (juga Ishpuinis) (bertakhta: 828–810 SM) merupakan seorang raja Urartu. Ia menggantikan ayahandanya, Sarduri I, yang memindahkan ibukota ke Tushpa (Van). Ishpuini digantikan oleh putranya, Menua. Lihat pula Daftar Raja Urartu Daftar pustaka R. Grousset, Histoire d'Armenie

 

J. R. D. Tata

Jehangir Ratanji Dadabhoy TataLahir(1904-07-29)29 Juli 1904Paris, FrancisMeninggal29 November 1993(1993-11-29) (umur 89)Jenewa, SwissPekerjaanMantan direktur Tata GroupDikenal atasPendiri TCSPendiri Tata MotorsPendiri Titan IndustriesPendiri VoltasPendiri Air IndiaSuami/istriThelma Vicaji TataOrang tuaR.D. Tata and Suzanne Tata Jehangir Ratanji Dadabhoy Tata (29 Juli 1904-29 November 1993) adalah seorang pebisnis dari India. Ia pernah membawahi Tata Sons. Ia juga orang India pertama yan...

 

36

36 ← 35 36 37 → 数表 — 整数 <<  30 31 32 33 34 35 36 37 38 39 >> 命名小寫三十六大寫參拾陸序數詞第三十六thirty-sixth識別種類整數性質質因數分解 {\displaystyle } 2 2 × 3 2 {\displaystyle 2^{2}\times 3^{2}} 表示方式值36算筹希腊数字ΛϚ´ 羅馬數字XXXVI 巴比伦数字𒌍𒐚 二进制100100(2)三进制1100(3)四进制210(4)五进制121(5)八进制44(8)十二进制...

Sungai Dnieper

Ada usul agar Sungai Dnieper diganti judulnya dan dipindahkan ke Dnieper (Diskusikan). Sungai Dnieper tampak dari atas bukit di Kiev, Ukraina. Sungai Dnieper (bahasa Rusia: Днепр, Dnepr; bahasa Belarus: Дняпро, Dniapro, IPA: [dnʲa'pro]; Ukraina: Днiпро, Dnipro), adalah sungai yang mengalir dari Rusia, melintasi Belarusia dan Ukraina, hingga ke Laut Hitam. Panjangnya 2.285 km, yaitu 485 km melintasi Rusia, 595 Km melintasi Belarusia, serta 1.095 ...

 

Mohamed Ould Bilal

16th Prime Minister of Mauritania Mohamed Ould Bilalمحمد ولد بلالBilal in 2022Prime Minister of MauritaniaIncumbentAssumed office 6 August 2020PresidentMohamed Ould GhazouaniPreceded byIsmail Ould Bedde Ould Cheikh Sidiya Personal detailsBorn1963 (age 60–61)Rosso, MauritaniaPolitical partyEquity Party (El Insaf)ResidenceNouakchottCabinetFirst (2020–2022)Second (2022–2023)Third (2023–present) Mohamed Ould Bilal (Arabic: محمد ولد بلال; born 1963),[...

 

Синелобый амазон

Синелобый амазон Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:ЗавропсидыКласс:Пт�...

Синелобый амазон

Синелобый амазон Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:ЗавропсидыКласс:Пт�...

 

Lorong masukan

Sebuah jalan intake atau Lorong masukan adalahperangkat seperti piring persegi panjang, dalam asupan udara dari mesin jet, yang dirancang untuk menghasilkan gelombang kejut untuk membantu proses kompresi inlet di kecepatan supersonik.[1] Jalan duduk di sudut akut membelokkan udara masuk dari arah longitudinal. Pada penerbangan kecepatan supersonik, defleksi aliran udara menciptakan gelombang kejut miring di ujung jalan depan. Udara melintasi gelombang kejut tiba-tiba melambat ke bawa...

 

1856 United States presidential election in New Hampshire

Election in New Hampshire Main article: 1856 United States presidential election 1856 United States presidential election in New Hampshire ← 1852 November 4, 1856 1860 →   Nominee John C. Frémont James Buchanan Party Republican Democratic Home state California Pennsylvania Running mate William L. Dayton John C. Breckinridge Electoral vote 5 0 Popular vote 37,473 31,891 Percentage 53.71% 45.71% County Results Frémont   50-60%  ...

Uten Enten

Uten Enten AuthorHaruki MurakamiOriginal title雨天炎天Uten EntenCountryJapanLanguageJapaneseGenreTravel literature, EssayPublisherShinchosha (Japan)Publication dateFeb 25, 2008 (Renewal edition)Published in English-Media typePrint (Paperback)Pages286 pp (Renewal edition)ISBN978-4-10-353419-8 (Renewal edition)OCLC226807811 Uten Enten (雨天炎天)[1] is a road essay by Japanese author Haruki Murakami, about his travels in Greece and Turkey. The essays were first pub...

 

2020年夏季奧林匹克運動會波蘭代表團

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl（英文）（波兰文）2020年夏季奥林匹克运动会（東京）2021年7月23日至8月8日（受2019冠状病毒病疫情影响推迟，但仍保留原定名称）運動員206參賽項目24个大项旗手开幕式：帕维尔·科热尼奥夫斯基（游泳）和马娅·沃什乔夫斯卡（自行车）[1]闭幕式：卡罗利娜·纳亚（皮划艇）&#...

 

Janez Mencinger

Janez Mencinger Janez Mencinger (Brod, 26 marzo 1838 – Krško, 12 aprile 1912) è stato uno scrittore sloveno, considerato un originale scrittore-profeta e uomo saggio della letteratura slovena[1][2]. Indice 1 Biografia 2 Opere 3 Note 4 Bibliografia 5 Voci correlate 6 Altri progetti 7 Collegamenti esterni Biografia Janez Mencinger nel 1897 La casa di Janez Mencinger a Krško Jerica (1859) La tomba di Janez Mencinger, a Krško Dopo aver ottenuto la maturità al ginnasio di Lu...

Військово-музичне управління Збройних сил України

Військово-музичне управління Збройних сил України Тип військове формуванняЗасновано 1992Країна  Україна Емблема управління Військово-музичне управління Збройних сил України — структурний підрозділ Генерального штабу Збройних сил України призначений для планува...

 

Otong Kosasih

R. O. KosasihRektor ITB 1959-1964 Rektor Institut Teknologi Bandung ke-2Masa jabatan1 November 1959 – 20 April 1964PendahuluPresidium: Prof. Ir. R. Soemono Prof. Ir. R. Goenarso Prof. dr. R. M. Djoehana Wiradikarta Prof. Ir. Soetedjo Prof. Dr. Ir. R. M. Soemantri BrodjonegoroPenggantiIr. R. Ukar Bratakusumah Informasi pribadiLahirRaden Otong Kosasih(1905-05-15)15 Mei 1905Cibodas, Majalaya, Jawa Barat, Hindia BelandaKebangsaanIndonesiaAlma materTH Bandung Ir. - TH DelftSunting k...

 

JCK MMA

Chinese MMA promotion Jue Cheng KingNative nameJCK战觉城笼斗终极冠军赛Company typePrivateIndustryMixed martial arts promotionFounded2019; 5 years ago (2019)HeadquartersLüliang, Shanxi, ChinaOwnerAll-weather (hainan) Online Sports Co., LtdWebsitejckmma.com JCK MMA (Jue Cheng King; Chinese: JCK战觉城; pinyin: JCK Zhàn Jué Chéng) is a Chinese mixed martial arts promotion. It is currently partnered with the UFC Fight Pass platform. History JCK MMA origin...

Norma Shearer

Canadian-American actress (1902–1983) Norma ShearerShearer in Riptide (1934)BornEdith Norma Shearer(1902-08-11)August 11, 1902Montreal, Quebec, CanadaDiedJune 12, 1983(1983-06-12) (aged 80)Los Angeles, California, USResting placeForest Lawn Memorial Park, GlendaleCitizenshipCanadaUnited States[1]OccupationActressYears active1919–1942Political partyRepublicanSpouses Irving Thalberg ​ ​(m. 1927; died 1936)​ Martin Arrougé...

 

Gulf Oil

American oil company This article is about the historical oil company. For the marketer of Gulf-branded fuel in the United States, see Gulf Oil LP. Gulf OilGulf Tower in Pittsburgh, Pennsylvania, Gulf Oil's former headquartersCompany typePublicIndustryPetroleum industryFoundedJanuary 30, 1907; 117 years ago (1907-01-30)DefunctMarch 15, 1985; 39 years ago (1985-03-15)FateAcquired by Standard Oil of California, rebranded as ChevronSuccessorChevron; brand owne...

 

The Presets

Australian electronic music duo For other uses, see Preset. The PresetsThe Presets live in London 2006Background informationOriginSydney, New South Wales, AustraliaGenres Electropop electro house dance-punk electroclash synthpop dance Years active2003 (2003)–presentLabels Modular EMI Members Julian Hamilton Kim Moyes Websitethepresets.com The Presets are an Australian electronic music duo of Julian Hamilton (vocals, keyboards) and Kim Moyes (drums, keyboards). Formed in 2003 and signed...

Piala

Contoh piala Piala atau trofi ialah benda yang diberikan pada seseorang karena suatu pencapaian tertentu. Piala sering diberikan pada acara olahraga. Piala dapat berbentuk mangkuk, cangkir, cawan, bentuk manusia (seperti Emmy Award), dll. Piala dapat juga berbentuk kepala binatang. Biasanya dihadiahkan oleh dan dari pemburu. Pada masa lalu, orang dapat mengambil kepala atau bagian tubuh lain dari musuh yang telah terbunuh dalam sebuah perang untuk menunjukkan seberapa pahlawankah mereka. Bebe...

 

Perasaan (album Dian Piesesha)

PerasaanAlbum studio karya Dian PieseshaDirilis1 Januari 1984GenrepopLabelJK RecordsProduserJudhi KristianthoKronologi Dian Piesesha Bara Api Senyummu (1983)String Module Error: Match not foundString Module Error: Match not found Perasaan (1984) Tak Ingin Sendiri (1984)String Module Error: Match not foundString Module Error: Match not found Perasaan merupakan sebuah album musik kelima milik penyanyi senior Indonesia, Dian Piesesha. Album ini dirilis pada bulan Januari 1984. Lagu yang dian...