Univ. of Illinois’ IBA System

The Univ. of Illinois’ IBA (Interleaved Binder and Allocator) system consists of several parts: Illinois Mixed Behavior / Structure Language (IMBSL), which performs data path synthesis; RLEXT (Register Level Exploration Tool), which allows a user to manually modify a Register-Transfer level design, and then automatically repairs any errors or omissions so that the final result matches the specified behavior; COD, a control unit synthesizer; LE (Layout Estimator); and Fasolt, a Register-Transfer level datapath optimizer. See also Univ. of Southern California’s ADAM System — Knapp used to be involved with that system.

[1]  David W. Knapp,et al.  Automatic synthesis of a dual-PLA controller with a counter , 1990, [1990] Proceedings of the 23rd Annual Workshop and Symposium@m_MICRO 23: Microprogramming and Microarchitecture.

[2]  David Knapp.  An Interactive Tool for Register-Level Structure Optimization , 1989, 26th ACM/IEEE Design Automation Conference.

[3]  David W. Knapp.  Manual rescheduling and incremental repair of register-level datapaths , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[4]  Marianne Winslett,et al.  Use of Change Coordination in an Information-Rich Design Environment , 1989, 26th ACM/IEEE Design Automation Conference.

[5]  David Knapp.  Feedback-driven datapath optimization in Fasolt , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.