Exploiting "Architecture for Verification" to Streamline the Verification Process.
Saved in:
| Title: | Exploiting "Architecture for Verification" to Streamline the Verification Process. |
|---|---|
| Authors: | Whipp, Dave, dac09@dave.whipp.name |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; Jul2009, p212-215, 4p, 2 Charts |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 52682827 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Exploiting "Architecture for Verification" to Streamline the Verification Process. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Whipp%2C+Dave%22">Whipp, Dave</searchLink>, <i>dac09@dave.whipp.name</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22DAC%3A+Annual+ACM%2FIEEE+Design+Automation+Conference%22">DAC: Annual ACM/IEEE Design Automation Conference</searchLink>; Jul2009, p212-215, 4p, 2 Charts |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=52682827 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 4 StartPage: 212 Titles: – TitleFull: Exploiting "Architecture for Verification" to Streamline the Verification Process. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Whipp, Dave IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul2009 Type: published Y: 2009 Identifiers: – Type: issn-print Value: 0738100X Titles: – TitleFull: DAC: Annual ACM/IEEE Design Automation Conference Type: main |
| ResultId | 1 |
