English

Abstract Stobjs and Their Application to ISA Modeling

Logic in Computer Science 2013-05-01 v1 Hardware Architecture Symbolic Computation
Authors: Shilpi Goel , Warren A Hunt, , Matt Kaufmann
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over traditional ("concrete") stobjs can include faster execution, support for symbolic simulation, more efficient reasoning, and resilience of proof developments under modeling optimization.

Cite

@article{arxiv.1304.7858,
  title  = {Abstract Stobjs and Their Application to ISA Modeling},
  author = {Shilpi Goel and Warren A Hunt, and Matt Kaufmann},
  journal= {arXiv preprint arXiv:1304.7858},
  year   = {2013}
}

Comments

In Proceedings ACL2 2013, arXiv:1304.7123

Related papers

View all related →
Logic in Computer Science · Computer Science
Incremental SAT Library Integration Using Abstract Stobjs
Sol Swords
2018-10-11
Programming Languages · Computer Science
Extended Abstract: Mutable Objects with Several Implementations
Matt Kaufmann, Yahya Sohail, Warren A. Hunt
2025-08-04
Logic in Computer Science · Computer Science
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
Alessandro Coglio, Shilpi Goel
2018-10-11
Hardware Architecture · Computer Science
An ASIC Implementation and Evaluation of a Profiled Low-Energy Instruction Set Architecture Extension
Bobby Sleeba, Mikael Collin, Mats Brorsson
2021-03-17
Artificial Intelligence · Computer Science
Improved Answer-Set Programming Encodings for Abstract Argumentation
Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner +1
2020-02-19
Logic in Computer Science · Computer Science
A Macro for Reusing Abstract Functions and Theorems
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
2013-05-01
Optimization and Control · Mathematics
Symbolic models for nonlinear control systems without stability assumptions
Majid Zamani, Giordano Pola, Manuel Mazo, Paulo Tabuada
2011-10-11
Logic in Computer Science · Computer Science
RV32I in ACL2
Carl Kwan
2025-07-28
Hardware Architecture · Computer Science
AISC: Approximate Instruction Set Computer
Alexandra Ferreron, Jesus Alastruey-Benede, Dario Suarez-Gracia, Ulya R. Karpuzcu
2018-03-20
Hardware Architecture · Computer Science
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel +2
2019-01-29
Artificial Intelligence · Computer Science
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
2009-05-01
Hardware Architecture · Computer Science
FPGA-extended General Purpose Computer Architecture
Philippos Papaphilippou, Myrtle Shah
2022-08-23
Programming Languages · Computer Science
Automating Abstract Interpretation of Abstract Machines
James Ian Johnson
2015-05-01
cmp-lg · Computer Science
Abstract Machine for Typed Feature Structures
Shuly Wintner, Nissim Francez
2008-02-03
Systems and Control · Computer Science
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017-10-02
Machine Learning · Computer Science
Symbolic Learning to Optimize: Towards Interpretability and Scalability
Wenqing Zheng, Tianlong Chen, Ting-Kuei Hu, Zhangyang Wang
2022-05-10
Hardware Architecture · Computer Science
Using the Abstract Computer Architecture Description Language to Model AI Hardware Accelerators
Mika Markus Müller, Alexander Richard Manfred Borst, Konstantin Lübeck, Alexander Louis-Ferdinand Jung +1
2024-02-02
Cryptography and Security · Computer Science
BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster
Jan Philipp Thoma, Jakob Feldtkeller, Markus Krausz, Tim Güneysu +1
2022-08-17
Numerical Analysis · Mathematics
Stiffness minimisation of graded microstructural configurations using asymptotic analysis and machine learning
Chuang Ma, Dingchuan Xue, Shaoshuai Li, Zhengcheng Zhou +2
2021-11-15
Machine Learning · Computer Science
Does Deep Learning Learn to Abstract? A Systematic Probing Framework
Shengnan An, Zeqi Lin, Bei Chen, Qiang Fu +2
2023-02-24
Systems and Control · Computer Science
Towards Scalable Synthesis of Stochastic Control Systems
Majid Zamani, Ilya Tkachev, Alessandro Abate
2016-02-04
Logic in Computer Science · Computer Science
Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
2019-07-16
Programming Languages · Computer Science
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
Bowen Zhang, Wei Chen, Hung-Chun Chiu, Charles Zhang
2024-05-22
Machine Learning · Computer Science
Structural Abstraction as an Inductive Bias for Non-Stationary Language Model Training
Elnaz Rahmati, Nona Ghazizadeh, Zhivar Sourati, Nina Rouhani +1
2026-05-26
Systems and Control · Electrical Eng. & Systems
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024-04-03
R2 v1 2026-06-22T00:08:32.705Z