 | BedektOverdekt is een analyse-tool van Verilogcode. |
| Download nu | |
Bedekt Rangschikking & Samenvatting
Advertentie
Bedekt Tags
Bedekt Beschrijving
Bedekt is een analyse-tool van verilogcode. Bedekt is een analyse-tool van verilogcode. Bedekt kan nuttig zijn om te bepalen hoe goed een diagnostische testsuite het ondertoetsontwerp bedekt. Type in de werkstroom van het ontwerpverificatie, een ontwerpverificatie-ingenieur zal een zelfcontrole-testsuite ontwikkelen om ontwerpelementen / -functies te verifiëren die zijn opgegeven door de specificatie van het ontwerp Document.Wanneer de testsuite alle tests bevat die door de ontwerpspecificatie vereist zijn, kan de testschrijver hem / zelf vragen: "Hoeveel logica in het ontwerp wordt eigenlijk uitgeoefend?", Doet mijn test suite alle Logica onder Test? ", en" OM heb ik het schrijven van schrijfproeven voor de logica? ". Wanneer de ontwerpverificatie op dit punt gaat, is het vaak handig om wat metrics te krijgen voor het bepalen van de logische dekking. Dit is waar een hulpprogramma voor het dekking van een code, zoals gedekt, erg handig is. Wat is er nieuw in deze release: · Vaste compilatiewaarschuwingen bij het compileren op 64-bits Mac OS X- en Debian-gebaseerde platforms. · Updates om scripts te bouwen om stroomafwaartse Debian-releases te helpen bouwen. · Vaste bug 2880705. $ ID: trefwoorden met newlines worden nu goed behandeld. Bovendien, bevestigingskwesties met vermenigvuldige instantie modules binnen een genereren blok. · Vaste bug 2881869. Vaste een stapeloverloopprobleem in de Gen_item_Resolve-functie die segmentatiefouten zou veroorzaken wanneer er te veel items werden gegenereerd binnen een enkel generaat blok. · Fixed Bug 2882433. Vaste de "FOUT! PARAMETER die wordt gebruikt in expressie, maar niet gedefinieerd in de fouten van de huidige module" wanneer een gegenereerde module-instantie een parameterrequentie van een parameter met dezelfde naam heeft als de parameter in de module die het genererenblok bevat.
Bedekt Gerelateerde software
