From: Jared C. Davis To: acl2-mtgutlists.utexas.edu Hi, At this week's ACL2 seminar, I'll talk about the Verilog translator we are developing at Centaur. I had previously talked about our parser, which is the first step of the translation. So in a sense this talk is a follow-up that will cover what happens after the chip is parsed. Thanks, Jared