Википедия: 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)