Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: Introduction to Logic Synthesis</h1> <div class='date'><time class="dtstart dt-start" title="2010-10-08T10:30:00" datetime="2010-10-08T10:30:00">Friday, October 8, 2010 from 10:30</time>–<time class="dtend dt-end" title="2010-10-08T11:30:00" datetime="2010-10-08T11:30:00">11:30am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!</p> <p>Please note the nonstandard day/time!</p> <p>title:</p> <pre><code>Introduction to Logic Synthesis </code></pre> <p>speaker:</p> <pre><code>Alan Mishchenko, University of California, Berkeley </code></pre> <p>time:</p> <pre><code>10:30am, Friday 08 October 2010 </code></pre> <p>location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of the Commonwealth building)</p> <p>abstract:</p> <pre><code>The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut computation, simulation, Boolean reasoning. Presented next are And-Inverter Graphs (AIGs) that are increasingly used as a unifying representation for all problems. The lecture is finished by an overview of AIG-based solutions in synthesis, technology mapping, and formal verification. </code></pre> <p>bio:</p> <pre><code>Alan Mishchenko graduated from Moscow Institute of Physics and Technology, Moscow, Russia, in 1993, and received his Ph.D. degree from Glushkov Institute of Cybernetics, Kiev, Ukraine, in 1997. He has been a research scientist in the US since 1998. Currently, Alan is an Associate Researcher at University of California, Berkeley. His research interests are in developing computationally efficient methods for logic synthesis and verification. </code></pre> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/blog/2010/10/05/galois-tech-talk-introduction-to-logic-synthesis/">Website</a></li> </ul> </div>