Date: Mon, 19 Apr 2004 16:16:09 -0500 (CDT)
From: "Sandip Ray"
Subject: This week in ACL2


Greetings,

This week, Vinod Vishwanath is going to talk about sequential
simplification of hardware circuits. We will meet as usual in ACES 6.442
at 4:00 on Wednesday.

------------------------------------------------------------------------

Sequential Simplification in Hardware Circuits

Sequential simplification seeks to replace a given circuit with another
one optimised with respect to some criterion -- area, performance, or
power, in a way such that the environment of the circuit cannot detect the
replacement. Historically, there have been varied attempts at such
optimizations of sequential hardware. In this talk I will survey many
sequential simplification ideas and algorithms. Following that, I will
present an ACL2 implementation of one such algorithm. The interesting part
of proving the correctness of the algorithm, is yet to be done.

------------------------------------------------------------------------