Author:
Václav Dvořák
Affiliation:
Brno University of Technology, Czech Republic
Keyword(s):
Microprocessor-based Control, Multi-Terminal Binary Decision Diagrams, MTBDD, Optimal Variable Ordering, Arbiters.
Related
Ontology
Subjects/Areas/Topics:
Computer and Microprocessor-Based Control
;
Discrete Event Systems
;
Informatics in Control, Automation and Robotics
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
The paper addresses software implementation of logic-intensive control algorithms whose implementation with the smallest memory footprint is often required in embedded systems. A presented heuristic method of Multi-Terminal Binary Decision Diagram (MTBDD) synthesis aims to minimize the cost of a resulting diagram and thus the required amount of memory to store it. Evaluation of Boolean functions then reduces to traversing a MTBDD, one or more variables in a single step, according to a required speed. In terms of program execution, the evaluation process essentially does a sequence of indirect memory accesses to dispatch tables. The presented method is flexible in making trade-offs between performance and memory consumption and may be thus useful for embedded microprocessor or microcontroller software.