Functional verification of dynamically reconfigurable FPGA-based systems. ([2014])

• Record Type: Book
• Further Information: Note: Lingkan Gong, Oliver Diessel.
• Authors: Gong, Lingkan; Diessel, Oliver
• Contents: Introduction -- Verification Challenges -- Modeling Reconfiguration -- Getting Started with Verification -- Case Studies -- References Designs -- Conclusions.- Appendix A: Bugs Detected in Case Studies -- Appendix B: Inside the ReSim Library -- References.
• Publisher Details: Cham : Springer
• Publication Date: 2014
• Copyright Date: 2015
• Extent: 1 online resource
• Subjects: 621.395; Engineering; Field programmable gate arrays; TECHNOLOGY & ENGINEERING -- Mechanical; Field programmable gate arrays; Electrical & Computer Engineering; Engineering & Applied Sciences; Electrical Engineering; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- Circuits -- General; Computer architecture & logic design; Circuits & components; Systems engineering; Computer science; Electronic books
• Languages: English
• ISBNs: 9783319068381; 3319068385; 3319068377; 9783319068374
• Related ISBNs: 9783319068374
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (EBSCO, viewed October 16, 2014).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.