Formal Co-Validation of Low-Level Hardware/Software Interfaces

Formal Co-Validation of Low-Level Hardware/Software Interfaces

Taispeáin leaganacha eile (1)

Today's microelectronics industry is increasingly confronted with the challenge of developing and validating software that closely interacts with hardware. These interactions make it difficult to design and validate the hardware and software separately; instead, a verifiable co-design is requir...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Formáid:	Conference item
Foilsithe / Cruthaithe:	2013

Míreanna comhchosúla

Formal co−validation of low−level hardware/software interfaces
de réir: Horn, A, et al.
Foilsithe / Cruthaithe: (2013)

Effective verification for low-level software with competing interrupts
de réir: Liang, L, et al.
Foilsithe / Cruthaithe: (2017)

Hardware verification using software analyzers
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2015)

Formal techniques for effective co-verification of hardware/software co-designs
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2017)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2005)

Unbounded Safety Verification for Hardware Using Software Analyzers
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2015)

Formally Analysed Dynamic Synthesis of Hardware
de réir: Susanto, K, et al.
Foilsithe / Cruthaithe: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
de réir: Susanto, K, et al.
Foilsithe / Cruthaithe: (2001)

Hardware Verification by Formal Proof
de réir: Birtwistle, G, et al.
Foilsithe / Cruthaithe: (1988)

Hardware Verification by Formal Proof
de réir: Birtwistle, G, et al.
Foilsithe / Cruthaithe: (1988)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
de réir: Melham, T
Foilsithe / Cruthaithe: (1989)

An Industrially Effective Environment for Formal Hardware Verification
de réir: Seger, C, et al.
Foilsithe / Cruthaithe: (2005)

Automatic generation of hardware/software interfaces
de réir: King, Myron Decker, et al.
Foilsithe / Cruthaithe: (2012)

Automatic generation of hardware/software interfaces
de réir: King, Myron, et al.
Foilsithe / Cruthaithe: (2019)

The 80286 microprocessor : hardware, software, and interfacing /
de réir: 391611 Triebel, Walter A., et al.
Foilsithe / Cruthaithe: (1990)

Embedded linux : hardware, software, and interfacing /
de réir: 462332 Hollabaugh, Craig
Foilsithe / Cruthaithe: (2002)

System-level test and validation of hardware/software systems /
de réir: Sonza Reorda, M. (Matteo), et al.
Foilsithe / Cruthaithe: (2005)

A Reflective Functional Language for Hardware Design and Theorem Proving
de réir: Grundy, J, et al.
Foilsithe / Cruthaithe: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
de réir: Grundy, J, et al.
Foilsithe / Cruthaithe: (2003)

Partial orders for efficient bounded model checking of concurrent software
de réir: Alglave, J, et al.
Foilsithe / Cruthaithe: (2013)

Firmware vulnerability analysis based on formal verification of software and hardware
de réir: Peng-hui ZHANG, et al.
Foilsithe / Cruthaithe: (2016-07-01)

Firmware vulnerability analysis based on formal verification of software and hardware
de réir: Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
Foilsithe / Cruthaithe: (2016-07-01)

Development of hardware and software interfaces for flight simulator /
de réir: 429541 Shuhaimi Mansor
Foilsithe / Cruthaithe: (1997)

The 8086 and 80286 microprocessors : hardware, software and interfacing /
de réir: 391623 Avtar Singh, et al.
Foilsithe / Cruthaithe: (1990)

Computer organization and design : the hardware/software interface /
de réir: Patterson, David A., author, et al.
Foilsithe / Cruthaithe: ([201)

Microprocessors and peripherals : hardware, software, interfacing, applications/
de réir: 454287 Brey, Barry B.
Foilsithe / Cruthaithe: (1988)

Microcomputer-analog converter software and hardware interfacing/
de réir: Titus, Jonathan A.

Computer organization and design : the hardware/software interface /
de réir: 457839 Patterson, David A., et al.
Foilsithe / Cruthaithe: (2005)

Computer organization and design : the hardware/software interface /
de réir: 457839 Patterson, David A., et al.
Foilsithe / Cruthaithe: (2009)

PIC microcontroller : an introduction to software and hardware interfacing /
de réir: 372386 Huang, Han-Way
Foilsithe / Cruthaithe: (2004)

Making Software Verification Tools Really Work
de réir: Alglave, J, et al.
Foilsithe / Cruthaithe: (2011)

Hardware/software co-design /
de réir: De Micheli, Giovanni, et al.
Foilsithe / Cruthaithe: (1996)

Software Verification for Weak Memory via Program Transformation
de réir: Alglave, J, et al.
Foilsithe / Cruthaithe: (2013)

Software verification for weak memory via program transformation
de réir: Alglave, J, et al.
Foilsithe / Cruthaithe: (2013)

Microprocessor systems design : 68000 hardware, software and interfacing /
de réir: 295928 Clements, Alan
Foilsithe / Cruthaithe: (1987)

The Z80 microprocessor : hardware, software, programming, and interfacing /
de réir: 454287 Brey, Barry B.
Foilsithe / Cruthaithe: (1988)

Z80 microprocessor technology : hardware, software and interfacing /
de réir: 412345 Bignell, James, et al.
Foilsithe / Cruthaithe: (1986)

Microprocessor systems design : 68000 hardware, software, and interfacing /
de réir: 295928 Clements, Alan
Foilsithe / Cruthaithe: (1997)

The 80386, 80486 and pentium processor : hardware, software and interfacing /
de réir: 391611 Triebel, Walter A.
Foilsithe / Cruthaithe: (1998)

Abstraction Mechanisms for Hardware Verification
de réir: Melham, T
Foilsithe / Cruthaithe: (1990)