Application of Formal Verification Techniques

570 visningar
uppladdat: 1999-01-01
Inactive member

Inactive member

Nedanstående innehåll är skapat av Mimers Brunns besökare. Kommentera arbete
Today there are electrical circuits everywhere, e.g. telephones, TVs, cars and computers. The big problem with the rapidly-growing complexity in today's machines is, however, that since they are so complex it is impossible to check all combinations of events before the products are sent to the market. This lack of testing can lead to defective products. There are two well-known examples: Intel’s Pentium-processor, which failed on complex mathematical problems, and the European spaceprogram’s Ariane-rocket that exploded after take-off due to an error in an electrical circuit. For a long time simulation was the only way to verify a design’s behaviour. But simulation cannot check all possible cases within reasonable time for larger circuits. Therefore, the existence of software that performs equivalence checking between two circuits or between a circuit and its specification is justified. This software typically uses some kind of tree structure, e.g. binary decision diagram. Since this market is still rather young the best solution has not yet been found. There are two goals of this diploma work. The first is to find a new structure that uses less time than binary decision diagrams and is able to verify multipliers, which is impossible with binary decision diagrams. The second goal is to provide the results for the user in a m...

...läs fortsättningen genom att logga in dig.

Medlemskap krävs

För att komma åt allt innehåll på Mimers Brunn måste du vara medlem och inloggad.
Kontot skapar du endast via facebook.

Källor för arbetet

Saknas

Kommentera arbetet: Application of Formal Verification Techniques

 
Tack för din kommentar! Ladda om sidan för att se den. ×
Det verkar som att du glömde skriva något ×
Du måste vara inloggad för att kunna kommentera. ×
Något verkar ha gått fel med din kommentar, försök igen! ×

Kommentarer på arbetet

Inga kommentarer än :(

Källhänvisning

Inactive member [1999-01-01]   Application of Formal Verification Techniques
Mimers Brunn [Online]. http://mimersbrunn.se/article?id=16826 [2018-08-19]

Rapportera det här arbetet

Är det något du ogillar med arbetet? Rapportera
Vad är problemet?



Mimers Brunns personal granskar flaggade arbeten kontinuerligt för att upptäcka om något strider mot riktlinjerna för webbplatsen. Arbeten som inte följer riktlinjerna tas bort och upprepade överträdelser kan leda till att användarens konto avslutas.
Din rapportering har mottagits, tack så mycket. ×
Du måste vara inloggad för att kunna rapportera arbeten. ×
Något verkar ha gått fel med din rapportering, försök igen. ×
Det verkar som om du har glömt något att specificera ×
Du har redan rapporterat det här arbetet. Vi gör vårt bästa för att så snabbt som möjligt granska arbetet. ×

Logga in med Facebook