Term Rewriting with KARL
From Universidad de Brasilia. The following equations are the set of rules to be used by the TRS system for this 4 bits wide integer multiplier example. Operator and its prefix. Is the number of bit positions to be shifted and shr. Stands for shift right. The following equation is the design task: a 4 bit integer multiplier:. For more details on the term rewriting sequence and its results see:. Selects the least significant bit. Structured Hardware Design - a KARL-based integer multiplier floorplan desig...
Siemens AG, Corporate Research, M. PACT Corp. München. MorphICs Technology Inc., Campbell, CA, USA. THALES Research and Technology,. TMC Technical Measurement Corporation, North Haven, Conn, USA. Dot Wireless, Inc., San Diego, CA, USA. NEC Laboratories, Princeton, NJ, USA. ARM Advanced RISC Machines, Ltd. Europe, Cambridge, UK,. IBM Research Laboratories, Böblingen,. JEIDA, Japanese Electrotechnical Industry Association, Tokyo, Japan,. Fujitsu Laboratories, Sunnyvale, CA, USA.