Edinburgh Research Explorer

Extracting Behaviour from an Executable Instruction Set Model

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 16th Conference on Formal Methods in Computer - Aided Design (FMCAD 2016)
Place of PublicationMountain View, CA, USA
PublisherFMCAD Inc
Pages33-40
Number of pages8
ISBN (Electronic)978-0-9835678-6-8
ISBN (Print)978-1-5386-2692-4
DOIs
StatePublished - 27 Mar 2017
Event16th Conference on Formal Methods in Computer - Aided Design - Mountain View, United States
Duration: 3 Oct 20166 Oct 2016
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD16/

Conference

Conference16th Conference on Formal Methods in Computer - Aided Design
Abbreviated titleFMCAD 2016
CountryUnited States
CityMountain View
Period3/10/166/10/16
Internet address

Abstract

Presenting large formal instruction set models as executable functions makes them accessible to engineers and useful for less formal purposes such as simulation. However, it is more difficult to extract information about the behaviour of individual instructions for reasoning. We present a method which combines symbolic evaluation and symbolic execution techniques to provide a rule-based view of instruction behaviour, with particular application to automatic test generation for large MIPS-like models.

Event

16th Conference on Formal Methods in Computer - Aided Design

3/10/166/10/16

Mountain View, United States

Event: Conference

Download statistics

No data available

ID: 27599891