What people are saying - Write a review
We haven't found any reviews in the usual places.
Microprogrammable Machine Specification
Local Microcode Specifications
Semantic Basic for MachineIndependent Microcode Synthesis
6 other sections not shown
assignment automated axiom basic block Boolean breadth-first breadth-first search chapter Compiler complexity computation tree Computer Science concurrency constant construct containing control store corresponding data dependency graph decision problem defined definition denote depth-first depth-first search derivation empty encoding example execution flow graph FSSV functional given goal SSV heuristic horizontal machine image variable implementation implies ISSV leftmost identical machine description machine model machine variable machine-independent mapping merge method micro attribute grammar micro-instruction micro-operation microprogram synthesis microprogrammable machine microprogramming languages MO identifiers node NP-hard operator path poset programming language PSPACE-hard representation represents resource manipulation rules retargetable satisfying search algorithm sequence of MOs shifter side-effect source node ssv(ssm string component substring succ Alu succ B_source succ BS0 succ symbolic assertion specification symbolic constant symbolic expression symbolic simulation Synthesis Step T.BS target machine terminal transformation tree search algorithm triple weakest pre-condition semantic
All Book Search results »