Architecture Specification Language (ASL) is an executable language for writing clear, precise specifications of Instruction Set Architectures (ISAs).
The ASL interpreter (ASLi) is an implementation of ASL that can execute ASL specifications either in an interpreter or by compiling via C code.
Posts
- 
        
Forthcoming language changes
 - 
        
Language extensions: topslice and with-expressions
 - 
        
Language extension: parameterized records
 - 
        
Language extension: exception markers
 - 
        
Language extension: named parameters
 - 
        
Using the ASL interpreter
 - 
        
Using ASLi to simulate an ISA
 
subscribe via RSS