Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Hardware (B) > Control Structures And Microprogramming (B.1) > Microprogram Design Aids (B.1.4)
  Microprogram Design Aids (B.1.4) See Reviews  
Subject Descriptors:
Firmware Engineering (4)
Languages And Compilers (18)
Machine-Independent Microcode Generation (1)
Optimization (9)
Verification (1)
Proper Nouns:
Stream (1)
Reviews limited to:

Reviews about "Microprogram Design Aids (B.1.4)":
Modelling and verification of weighted spiking neural systems
Aman B., Ciobanu G.  Theoretical Computer Science 623(C): 92-102, 2016. Type: Article
ESPeciaL: an embedded systems programming language
Métrailler C., Mudry P.  SCALA 2015 (Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Portland, OR,  Jun 13, 2015) 51-55, 2015. Type: Proceedings
JACCIE: a Java-based compiler-compiler for generating, visualizing and debugging compiler components
Krebs N., Schmitz L.  Science of Computer Programming 79101-115, 2014. Type: Article
Producing the left parse during bottom-up parsing
Slivnik B., Vilfan B.  Information Processing Letters 96(6): 220-224, 2005. Type: Article
Methods for evaluating and covering the design space during early design development
Gries M.  Integration, the VLSI Journal 38(2): 131-183, 2004. Type: Article
Introduction to microprocessors and microcontrollers
Crisp J.,  Newnes, 2004. 288 pp. Type: Book (9780750659895)
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming
Vemuri R., Kalyanaraman R.  IEEE Transactions on Very Large Scale Integration (VLSI) Systems 3(2): 201-214, 1995. Type: Article
Related Topics
B.1.4 Microprogram Design Aids
  - Design Tools and Techniques
  - Processors
  - Language Classifications
  - Software/Program Verification
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy