Date: Tue, 10 Apr 2007 11:53:32 -0500 From: Sol Swords Subject: This week Hi, At this week's meeting I'll be talking about the transistor-level circuit analysis method described by Randall Bryant in his paper "Boolean Analysis of MOS Circuits," my implementation in ACL2 of this analysis method, and my planned improvements to this implementation. Since this is the ACL2 seminar and not the transistor-level circuit analysis seminar, I'd be happy to give the very basic introduction to transistors and digital logic circuits sufficient for understanding the rest of the talk if that seems necessary. The meeting will be at 4:00 in ACES 3.116 as usual, and will follow the new format as Matt described. It's an honor to be this group's guinea pig. - Sol