|
|
libcats.org
Abstract State Machines, B and Z, 1 conf., ABZ 2008Egon Börger, Michael Butler, Jonathan P. Bowen, Paul BocaAbstract. Complementary to the systems and software focus of the conference,this presentation will be about chips and the progress that has been made intheir functional verification. Common ground will be high-level, still cycleaccurate,state-based models of hardware functionalities called Abstract RT. RTstands for register transfer descriptions of hardware such as VHDL or Verilog.An Abstract RT model is a formal specification which permits an automatedformal comparison with its implementation, thus detecting any functionaldiscrepancy between code and formal specification.The first part of the presentation will sketch the big picture: Moore‘s Law stillholds and permits building huge chips comprising up to hundreds of millions ofgates. Under the constraints of shrinking budgets and development times, theseso-called systems-on-chip (SoC) can no longer be developed from scratch butmust largely be assembled from pre-designed, pre-verified design componentssuch as processors, controllers, a plethora of peripherals and large amounts ofmemories. Therefore, getting a SoC right depends to a large extent on the qualityof these design components – IP for short. At stake are critical errors making itinto silicon. These may cost millions of Euros due to delayed market entry,additional engineering and re-production efforts. Hence, the lion’s share oftoday’s verification efforts goes into the functional verification of such IP.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Nucleation (Butterworth 2000)Автор: Dimo KashchievКатегория: Phase transitions
Размер книги: 4.70 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Bardsley, Michele - Diary of a Demon Hunter 2 - Death UnhonoredАвтор: Bardsley Michelle
Размер книги: 657 Kb
STACS 94, Theoretical Aspects of Computer Science 11 confАвтор: Patrice Enjalbert, Автор: Ernst W. Mayr, Автор: Klaus W. WagnerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.74 Mb
Passive Energy Dissipation Systems in Structural EngineeringАвтор: T. T. Soong, Автор: G. F. DargushКатегория: engeneering_technology
Размер книги: 5.07 Mb
Ремонт часов. Практическое пособиеАвтор: Беляков И.С., Автор: Крепс С.Е., Автор: Сурин П.Д.Категория: ПРОФЕССИИ И РЕМЕСЛА
Размер книги: 2.14 Mb
Philosophy and Medical Welfare (Royal Institute of Philosophy Supplements)Автор: J. M. Bell, Автор: Susan MendusКатегория: Медицина
Размер книги: 7.93 Mb
Lecture II The Logical Form of an IntuitionАвтор: McDowell JohnКатегория: fiction
Размер книги: 2.00 Mb
|
|
|