Википедия: LISA  (Language  for Instruction Set Architecture)

LISA 2.0
  этот конкретный язык пока не является стандартизованным
LISA+
  это для описания периферии

Почему он мне вдруг приглянулся? Ну, если надо описать набор инструкций, то можно это делать либо неформально, либо формально. Если формально, то нужно изучить имеющийся опыт. Ну вот...

А тут ещё и название про лису.

Ещё, говорят, такое есть в GCC (ну и по-аналогии, надо поискать в llvm)

https://llvm.org/devmtg/2013-11/slides/ … Poster.pdf

1994, A Functional Specification Language for Instruction Set Architecture
    https://www.computer.org/csdl/proceedin … 288397.pdf
    This paper presents an overview of our  language (called LISAS)

1994, Functional Specification and Simulation of Instruction Set Architectures
    http://myslu.stlawu.edu/~ehar/papers/harcourt94functional.pdf

http://inst.cs.berkeley.edu/~ee249/fa08/discussions/LISA.pdf

1996, LISA - Machine Description Language and Generic Machine Model for HW/SW Co-Design
    https://www.ice.rwth-aachen.de/fileadmi … 96vlsi.pdf

2000, LISA: An Interactive Environment for Programming Language Development
    https://pdfs.semanticscholar.org/b91f/d … e9b46e.pdf

2012, Application Specific Instruction Set Processor Design For Embedded Application Using The CoWare Tool
    http://citeseerx.ist.psu.edu/viewdoc/do … p;type=pdf

2010, LISA+ Language for Fast Models
    http://infocenter.arm.com/help/topic/co … isa_rm.pdf

2005,  Ed Harcourt; Jon Mauney; Todd Cook, From processor timing specifications to static instruction scheduling
    25 EUR -> https://link.springer.com/chapter/10.1007/3-540-58485-4_36

Отредактировано Лис (2018-06-25 20:36:27)