Marek Perkowski's Research Resources for EE 673 class

TECHNICAL DOCUMENTATION. LATEX. HTML.

• All About LaTeX2HTML --- This link gives you information how to convert your Latex file to html file.

  A Beginner's Guide to HTML --- Very good tutorial on HTML, with easy to grasp contents.

FIELD PROGRAMMABLE DIGITAL ARRAYS

• FPGA People --- This is a list of people who are interested in FPGAs and perhaps teach FPGA Courses. Contact sources.

FIELD PROGRAMMABLE ANALOG AND MIXED ARRAYS (FPAAs and FPMAs)

• PMeL - Field Programmable Analogue and Mixed Signal Device Family. --- This is a press release of Motorola's FPAAs, but it gives useful info for beginners.

  Report on FPGA '94. --- Our first paper on FPAAs was presented at this conference by Edmund Pierzchala.

  Foundries --- NT 1.2-MICRON CMOS (MPC9305CA)--- Number of universities involved: 9 Number of designers: 25 Number of designs: 18 university + 2 CMC designs (1 analog, 6 digital, These are information about foundries for Universities.

  Programmable Analogue Mixed-Signal Devices ... MICROELECTRONIC SYSTEMS NEWS. September 1996.

  1996 Midwest Symposium on Circuits and Systems. August 18-21, 1996. ---- Special Session on FPAAs with our papers presented.

  Report on FPGA '94 The Second ACM International Workshop on Field-Programmable Gate Arrays. Berkeley, California, USA. ---- Special Session on FPAAs with our papers presented.

  MICROELECTRONIC SYSTEMS NEWS. Field Programmable Analogue Mixed-Signal Devices END_KEYWORDS DATE: september 1996 ---- Special Session on FPAAs with our papers presented.

  39th Midwest Symposium on Circuits and Systems Iowa State University, Ames, Iowa , August 18-21 1996 ---- Special Session on FPAAs with our papers presented.

  LIST OF SPECIAL SESSION PROPOSALS ---- Special Session on FPAAs with our papers presented.

  Trip Reports of students to CAD conferences. .... Students report their impressions from ICCAD'94, ICCAD'95, FPGA conferences.

  Adrian Thompson's Evolvable Hardware (EHW) page. .... Adrian Thompson works on realization of Genetic Programming directly in Hardware. This has some similarity to our work on FPAAs and Karen's Dill work on GP and GA for logic minimization.

  NMRC: Scientific Report 95 - Computer Aided Design ---- This European Site gives interesting info on FPAAs that they build.

  PMeL - Press Release .... Pilkington Licenses New Programmable Analogue Array Technology to Motorola.

  Alta Vista: Simple Query Pilkington. .... This link will give you newest information about Pilkington products, look under PMeL and click. I use ALTA VISTA search engine, which I belive is the best one.

  Pilkington, PMeL ---- Field Programmable Analogue and Mixed Signal Device Family. DPAD3 Field Programmable Analogue Array. The Analogue Cell.

INDUSTRIAL COMPANIES OF OUR SPECIAL INTEREST.

• Apple Support and Information Web If you want to learn more about my favourite computer company (of course, because it was created by another Pole, Steven Wozniak 8-)... ).

  Lattice Semiconductor Corporation - Product News Release

  Cypress Semiconductor

GENERALLY USEFUL FOR STUDENTS OF EE 672/EE 673 ADVANCED LOGIC SYNTHESIS CLASS.

• Computer Science Programs ---- A list of all Computer Science programs in USA.

  PSU:Electrical and Computer Engineering. .... This is an official Home Page of our Department.

  PSUInfo Home Page --- General PSU Info.

  Computer Networks Research Laboratory..... This site has many interesting links to resources on computer networks.

  MICROELECTRONIC SYSTEMS NEWSLETTER -- ISSUE#7 .... Excellent source on various VLSI CAD and System information run by Professor Don Bouldin.

  LSL WWW / Technical Report ... This is a collection of links and ideas about using Artificial Life and Cellular computing in Hardware, many similarities with our CCM, regular layout, and cellular automata ideas from classes.

  Yahoo - Science:Engineering:Electrical Engineering .... Use Yahoo in addition to Alta Vista. It allows good browsing in research areas.

LINKS TO RESEARCH SITES OF COLLABORATORS OR PEOPLE DOING SIMILAR RESEARCH.

• Teaching --- This is one more lab that I visited in Europe, in Oxford University, U.K. Jon Saul is the researcher in ESOP minimization and Hardware acceleration of ESOP minimization. We share also other scientific interests.

  DIGITAL INFORMATION SYSTEMS: DIGITAL TECHNIQUES --- This is a description of research directions in Technical University of Eindhoven by a group of Professor Jozwiak, creator of a generalized decomposition model. We collaborate with this group on functional decomposition of Boolean Functions, decomposition of State Machines, EXOR logic and FPGA Reconfigurable Computing.

  TUE Design Automation Section --- Technical University of Eindhoven. I spent the Fall of 1996 there during sabbatical. This page has info about their Design Automation Research.

  http://www.es.ele.tue.nl/papers/MG.html --- More from Eindhoven

  Jon Saul --- Home Page of Jon Saul in Oxford University. Also some links to Reed-Muller Symposium and Oxford.

  Stub CAD Group page for Robert Brayton --- Leading CAD Group that works on many research subjects we do.

INTERESTING PROBLEMS

• http://www.wi.leidenuniv.nl/home/kosters/nqueens.bib--- this site has links to research problems in Theoretical Computer Science.

COMPUTER AND RESEARCH INFORMATION, LISTS, ENCYCLOPEDIAS.

• Glossary ---- Reconfigurable Computers.

  Bebop to the Boolean Boogie ---- An easy book with problems in elementary logic design. You can purchase it in Powell's Bookstore.

  EE Product News

  Polskie Slownictwo Informatyczne --- This is to help my polish students. Polish-English technical vocabulary in Computer Science.

  Alfabetyczny wykaz programow Another polish source of programs. This are advanced network analysis and other programs available from Technical University of Warsaw.

MACHINE LEARNING.

• http://www.gmd.de/ml-archive/ILP/public/data/east_west/ml-header.1 --- New research problem in Machine Learning. Michalski's Trains with more trains. We solved it using GUD-MV using our Constructive Induction method, but it was too late for submission. GUD-MV solves also larger train set problems.

  SLAIS Seminar -- 1996 --- Seminar on Machine Learning, Lubliana, Slovenia. One of places I visited in Europe, we collaborate with them on Constructive Induction approach to Machine Learning.

  GMU Machine Learning and Inference Laboratory. ....George Mason University (GMU) Machine Learning and Inference Laboratory is the leading site in Machine Learning, run by Professor Ryszard Michalski. This set of WWW Pages is also a good design to follow.

  David W. Aha: Machine Learning Page ... Excellent info, but the machine is recently down and I cannot connect.

RESEARCH INSTITUTES AND INDUSTRY

• Design-For-Test --- Materials from Synopsys.

  http://www.synplicity.com/news/aug95.htm --- From Synplicity company.

  Viewlogic Technical Services

  Fujitsu Laboratories --- One of the best industrial research labs that I have visited. Very impressive Multimedia group.

ELECTRICAL ENGINEERING DEPARTMENTS

• Search the Santa Clara Web ---- University of Santa Clara - place of VLSI design research.

  COEN 301 - Logic Synthesis ---- University of Santa Clara - place of VLSI design research.

  Undergraduate Record: Faculty --- University of Virginia. Look to links for EE and CS.

  Warsaw University of Technology, Institute of Control and Computational Engineering.--- The Home Page of my Alma Mater. Not much research in our areas, unfortunately.

  Prof. Kuzmicz's Group at WTU --- They work on Fuzzy Logic chips and developed their own system of VLSI CAD Tools.

  Academic CAD Sites on the Web

  CADLAB Home Page --- This is a CAD Laboratory of University of Linkoeping, Sweden. Prof. Krzysztof Kuchcinski is a leader.

UNIVERSITY OF CALIFORNIA, BERKELEY.

• Hierarchical Techniques for Logic Synthesis --- One more from Berkeley.

  Improvements to Branch-and-Bound Search Strategies for Logic Synthesis --- Also from Berkeley.

  UC Berkeley Design Technology Warehouse

  CAD Seminar Schedule --- Here are the famous CAD Group Seminars at U.C. Berkeley.

  The WELD Project --- Some of U.C. Berkeley new projects. Web-based Digital Design. Professor Newton.

  The VIS Home Page --- One more Berkeley Page. New projects in Verification and Diagrams. See and compare with what we do.

  THE VIS GROUP --- Verification People at Berkeley.

  Electrical Engineering Professors --- EE Faculty from U.C. California at Berkeley.

  Richard Rudell --- Dr. Richard Rudell is a fellow at Synopsys and creator of Espresso and SIS>

  DA SRC Home Page (MSG) --- A Home page of the SRC Design Automation Center at Berkeley.

  DA SRC Home Page (MSG) --- Anotger WWW Page of the SRC Design Automation Center at U.C. Berkeley.

  College of Engineering Conference Program--- U.C. Berkeley.

  Computer-Aided Design -- U.C. Berkeley.

  Robert K. Brayton --- Professor Robert K. Brayton is known to you from many lectures I taught in EE 672. He invented ideas that went to MIS and SIS.

  A One-Semester Graduate Course in Logic Synthesis --- Course at U.C. Berkeley.

  DS763CA --- Advanced Course from Berkeley.

  Computer-Aided Design --- Logic Synthesis Course from U.C. Berkeley.

MIT.

The MIT Home Page --- This page and its links are highly recommended. The most innovative ideas were created there.
Curriculum Vitae of Srinivas Devadas --- Professor Srinivas Devadas from MIT created much software for state machines.
Logic Synthesis --- Prof. Devadas Class.
Supplementary Material for Teaching Logic Synthesis --- Prof. Devadas Class.
Registration for Supplementary Material to Logic Synthesis --- From Prof. Devadas group.
Sequential Logic Synthesis ---- Prof. Devadas book that we used last year in class.

OTHER LOGIC SYNTHESIS COURSES.

• NTU INTRANET HOME PAGE --- Source of courses in Logic Synthesis.

PROF. M. PEDRAM'S GROUP.

• The USC CAD Group --- Prof. Pedram's Group at Univ. of Southern California.

  People in USC CAD Group --- Prof. M. Pedram created BDD-based Functional Decomposer that we discuss much in class. He contributed also to low power design.

PROF. ALMAINI'S GROUP.

• Digital Techniques Group (EECE Napier) --- Prof. Almaini's Group is one of leading European research groups in EXOR Logic.

  Optimum Test Pattern Generation --- From Prof. Almaini' Group.

  Multilevel Synthesis of Logic Circuits --- Prof. Almaini's info on Genetic Algorithm in logic synthesis.

  Synthesis & Optimisation of Comb. Logic --- One more from Prof. Almaini.

PROFESSOR CONG'S GROUP.

• UCLA CSD RESEARCH REVIEW 1996 --- Works of profs. Hwang, Cong and Peck.

  PUBLICATION ABSTRACTS --- Works of profs. Hwang, Cong and Peck.

  Prof. Jason Cong's Home Page.

  CS 259 Logic Synthesis of Digital Systems --- Prof. Jason Cong's class.

  Combinational Logic Synthesis for LUT Based Field Programmable Gate Arrays --- Research of Prof. Jason Cong's group.

PAPERS.

• IEEE Transactions on Computers: Past Issues --- Abstracts of many interesting papers. For instance, the papers discussed in class. GPMPRM paper is there.

  JCI --- New Journal on Computer and Information Systems. Interesting papers in ML, Fuzzy Logic and Rough Sets.

  Abstracts ED&TC '96

  IEEE Transactions on Software Engineering: Abstracts - 1996

GENETIC ALGORITHM IN DIGITAL DESIGN.

• Authors : Rolf Drechsler and Nicole Goeckel --- Discussion on Genetic Algorithm with participation of Rolf Drechsler with whom we collaborate to EXOR logic, Linearly Independent Logic and Lattice Diagrams.

FUNCTIONAL DECOMPOSITION.

• AltaVista Search: Simple Query "Functional Decomposition" --- Strange papers which refer to functional decomposition but they have totally different understanding of what it is. Give me comments.

HISTORY OF RESEARCH IN REED-MULLER, GALOIS AND LINEARLY INDEPENDENT LOGIC

• Leopold Kronecker --- Here I just started to collect information on people who contributed most to the ideas of Reed-Muller Logic and all new types of logic that have been developed recently on top of Reed-Muller Logic. Specifically, I look for information on the works of Kronecker, Zhegalkin, Reed, Muller, Davio and his collaborators, Hurst, Besslich, Green, Almaini, Zakrevskij and Sasao. Please inform me if you will find something.

  Kronecker

  Jacob's Home Page - Tidbits of Famous Mathematicians --- This is an interesting resource about famous mathematicians. This is a reference to Kuratowski, because I met him when I was a boy in my Grandfather house. He was solving problems on a piece of paper, and he make a big impression on me.

  http://www-math.cudenver.edu/~hgreenbe/gallery/gallery.html --- This is a picture gallery of famous mathematicians. It will be used in our material about EXOR logic.

COMPUTER SCIENCE IDEAS

• Cellular automata and neural networks --- This is a part of nice "Encyclopedia" of computer ideas.

  Von Neumann reference request --- This is a part of nice "Encyclopedia" of computer ideas.

DECISION DIAGRAMS

• Decision Diagrams for Kleenean Strong Ternary Logic OTDD

  Binary Decision Diagrams

  BDD corner - Decision Diagrams on the Web

  Binary Decision Diagrams (BDD)

  Manipulating Binary Decision Diagrams on Network of Workstations

  Parallel Genetic Programming Induction of Binary Decision Diagrams

  Contents of Chapter 1 ---- Summary of recent U.C. Berkeley research.

  {A-Z}DD Applications --- This is a link to publications of Professor Fabio Somenzi from the University of Colorado. Material on Algebraic Diagrams was discussed in class.

LOGIC SYNTHESIS

• Synopsys Web Contents --- Home Page of the most successful Logic Synthesis company.

  AltaVista: Simple Query "Boolesche Probleme" --- Symposium in Germany where West meets East. Papers by Steinbach and Zakrevskij. Our paper with Craig.

  1989 Logic Synthesis Benchmarks --- General information on benchmarks from MCNC.

  1991 Logic Synthesis Benchmarks --- General information on benchmarks from MCNC.

PROFESSOR MOLITOR'S GROUP.

• Paul Molitor - Selected Papers on Logic Synthesis ---- Prof. Molitor generated good ideas which can be useful for our MVCDBs. (for encoding cubes while creating the MVCDB). Unfortunately, there are no links to his papers with Slobodova here.

  Uni Halle - Institut für Informatik - Research Projects --- More links to Prof. Molitor's Group.

  Paul Molitor - Grant Mo645/2-1 --- Even more links to Prof. Molitor's Group.

VHDL AND LOGIC SYNTHESIS

• Book Introduction - VHDL for Logic Synthesis

  Icas_System_95 : Bob Reese 1995 --- An Early Interactive VHDL Tutorial by Prof. Bob Reese.

  Logic Synthesis ---- Logic Synthesis in Hawai? VHDL in Hawai!

  Workview Tutorial Index ---- Logic Synthesis in Hawai? VHDL in Hawai!

  Validation and Evaluation of VHDL description for Logic Synthesis

ADDITIONAL CAD SITES

• Logic Synthesis - Short Information --- This is a group in Munich, Germany, that works on Functional Decompositon.

  17 VLSI Logic Synthesis --- Prof. Maciej Ciesielski Class. We collaborated with him on Graph-Coloring approach to MV SOP minimization.

  High-level Logic Synthesis Research Group --- Hungarian group in Logic Synthesis.

  Synthesis and Optimization of Synchronous Logic Circuits --- Prof. Giovanni DeMicheli group at Stanford.

  Professor's Fujiwara Lab. Home Page (English)

  VLSI Research Group Members and Research Interests --- U. Toronto.

  VLSI Research Group Members and Research Interests --- University of Toronto Group. Profs. Vranesic, Gulak, K.C. Smith.

  LSI Des.& CAD Res. Group in TAKI Lab.,Kobe Univ., Japan Interesting paper about pass transistor logic

  Internet Electrical Engineering Resources

  Professor Lou Hafer's Home Page

  Prof. Steven Nowick, Columbia Univ.

  RTC --- Univ. of Rochester. Prof. Albicki's Group.

VARIOUS

• Complexity and Synthesis fo Minimal Logic Circuits using Multiplexers --- Bit Tex search about Multiplexer. You should find more.

  IWLS ’97 Registration Form --- A very good but expensive conference about logic synthesis. We attended it in past. Much useful new info. Try to follow.

  AltaVista Search: Simple Query +Logic +Synthesis

  Modified CDPD logic structure

  Glossary --- A Glossary of terms in Reconfigurable Computing.

  The Exclusive Electronic Computer Book Club