Science Oxygen

Home Science Projects Study Reference Notes Toolkits Gadgets Design Simulator Apparatus

  • EE318...
    http://akebono.stanford.edu/users/nanni/courses/EE318

  • Logic-Based Program Synthesis...
    http://ase.arc.nasa.gov/aaai2002/schedule.html

  • Logic-Based Program Synthesis...
    http://ase.arc.nasa.gov/aaai2002

  • CS 259 Logic Synthesis of Digital Systems...
    http://ballade.cs.ucla.edu/~cong/cs258g.html

  • Synthesis of Combination Logic ...
    http://cadlab.ece.ucsb.edu/ece156A_03/lec08.pdf

  • Synthesis of Combinational Logic...
    http://cag-www.lcs.mit.edu/6.004/Lectures/lect3

  • Citations: Logic Minimization Algorithms for VLSI Synthesis - Brayton, Hachtel, ...
    http://citeseer.ist.psu.edu/context/66395/0

  • Logic Program Synthesis - DEVILLE, LAU (ResearchIndex)...
    http://citeseer.ist.psu.edu/deville93logic.html

  • RASP: A General Logic Synthesis System for SRAM-based FPGAs - Cong, Peck, Ding (...
    http://citeseer.nj.nec.com/cong96rasp.html

  • COMBINATIONAL LOGIC SYNTHESIS FOR DIVERSITY IN DUPLEX SYSTEMS ...
    http://crc.stanford.edu/crc_papers/mitraitc001.pdf

  • Revision 1, Submitted to IEEE Transactions on Computer-Aided Design ...
    http://crc.stanford.edu/crc_papers/toubatrcad97a.pdf

  • Congestion-Aware Logic Synthesis...
    http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710664abs.htm

  • RASP: A General Logic Synthesis System for SRAM-Based FPGAs...
    http://csdl.computer.org/comp/proceedings/fpga/1996/2576/00/25760137abs.htm

  • Trace Driven Logic Synthesis - Application to Power Minimization...
    http://csdl.computer.org/comp/proceedings/iccad/1997/8200/00/82000581abs.ht

  • Regularity Driven Logic Synthesis...
    http://csdl.computer.org/comp/proceedings/iccad/2000/2238/00/22380439abs.ht

  • Logic Synthesis for Testability...
    http://doi.ieeecomputersociety.org/10.1109/GLSV.1996.497605

  • BDD Decomposition for Efficient Logic Synthesis...
    http://doi.ieeecomputersociety.org/10.1109/ICCD.1999.808607

  • IWLS99 Conference...
    http://domino.watson.ibm.com/CONFRNC/IWLS/IWLS99.nsf

  • Technology adaption in logic synthesis...
    http://dx.doi.org/10.1145/318013.318029

  • Multi-level logic synthesis using communication complexity...
    http://dx.doi.org/10.1145/74382.74419

  • Search Results...
    http://eshop.msn.com/fts/ftsresults.aspx?pcid=12180

  • Logic Synthesis...
    http://gagarin.eecs.umich.edu/BK/Slots/slots/LogicSynthesis.html

  • HDL Planet's Synthesis Page...
    http://hdlplanet.tripod.com/synthesis/synthesis.html

  • BDS: A BDD-Based Logic Optimization System ...
    http://i2pi.com/PAPERS/math/yang00bds.pdf

  • A Comparison of Parallel Approaches for Algebraic Factorization in Logic ...
    http://ipdps.eece.unm.edu/1997/s19/394.pdf

  • Prof. Dr. Bogdan Falkowski ...
    http://sigwww.cs.tut.fi/TICSP/PRESENTATIONS/2002%20Summaries/vlsi.pdf

  • Using Exemplar's Logic Synthesis with Active-HDL ...
    http://support.aldec.com/SupportArchive/PDFs/UsingExemplar'sLogicSynthesisw

  • Logic Synthesis...
    http://vlsicad.eecs.umich.edu/BK/Slots/slots/LogicSynthesis.html

  • MVSIS Project Page...
    http://www-cad.eecs.berkeley.edu/Respep/Research/mvsis/

  • MVSIS Project Page...
    http://www-cad.eecs.berkeley.edu/mvsis

  • Logic Synthesis Techniques for Reduced Area Implementation of ...
    http://www-crc.stanford.edu/crc_papers/toubaiccad94.pdf

  • AUTOMATED LOGIC SYNTHESIS OF RANDOM PATTERN ...
    http://www-crc.stanford.edu/crc_papers/toubaitc94.pdf

  • Using Exemplar's Logic Synthesis with Active-HDL...
    http://www.aldec.com/Support/Application_Notes/knowledgebase/AN0052_Using_E

  • Amazon.co.uk: Books: VHDL for Logic Synthesis...
    http://www.amazon.co.uk/exec/obidos/ASIN/047198325X

  • Amazon.co.uk: Books: Logic Synthesis (McGraw-Hill Series on Computer Engineering...
    http://www.amazon.co.uk/exec/obidos/ISBN=0070165009

  • Amazon.com: Books: Verilog Coding for Logic Synthesis...
    http://www.amazon.com/exec/obidos/ASIN/0471429767

  • Amazon.com: Books: Logic Synthesis and Verification (The Kluwer International Se...
    http://www.amazon.com/exec/obidos/tg/detail/-/0792376064/qid%3D1059596247/s

  • Amazon.com: Books: Logic Synthesis and Verification Algorithms...
    http://www.amazon.com/exec/obidos/tg/detail/-/0792397460

  • Logic Synthesis and Verification Algorithms...
    http://www.ateworld.com/books/view_details.cfm?id=132&review=1

  • Logic Synthesis Using Synopsis...
    http://www.ateworld.com/books/view_details.cfm?id=143

  • VHDL for Logic Synthesis, 2nd Edition...
    http://www.booksmatter.com/b047198325X.htm

  • Logic Synthesis and Verification Algorithms (1 edition) by Gary D. Hachtel, Fabi...
    http://www.campusi.com/isbn_0792397460.htm

  • Hardware Synthesis Overview Module Module 33...
    http://www.cedcc.psu.edu/ee497f/rassp_33

  • Roger Peel's Logic Synthesis Research...
    http://www.computing.surrey.ac.uk/personal/st/R.Peel/research/logic.html

  • 386 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEM...
    http://www.cs.bris.ac.uk/~pradhan/DownloadPapers/LOT_IEEECAD_98.pdf

  • On-Chip Logic Minimization ...
    http://www.cs.ucr.edu/~rlysecky/papers/dac03-oclm.pdf

  • CS 6805 Logic Synthesis...
    http://www.cs.unb.ca/profs/gdueck/courses/cs6805/outline.html

  • Reversible Benchmarks...
    http://www.cs.uvic.ca/~dmaslov/

  • A Transformation Based Algorithm for ...
    http://www.cs.uvic.ca/~mmiller/publications/DAC03.pdf

  • 41st DAC Session 49...
    http://www.dac.com/41st/41acceptedpapers.nsf/websessions/49

  • DATE - Programme Details...
    http://www.date-conference.com/cgi-bin/prog05/show_conf_details.cgi

  • ...
    http://www.dcu.ie/registry/module_contents.php

  • ecampus.com - 047198325X - VHDL for Logic Synthesis, 2nd Edition...
    http://www.ecampus.com/bk_detail.asp?isbn=047198325X&referrer=spbuilder

  • REVERSIBLE LOGIC SYNTHESIS ...
    http://www.ece.concordia.ca/~kasiar/thesis_maslov.pdf

  • COURSE TITLE: ECE 303 Advanced Digital Logic Design...
    http://www.ece.northwestern.edu/courses/303.html

  • ENEE 644 - Computer Aided Design of Digital Systems...
    http://www.ece.umd.edu/class/enee644/

  • Logic Synthesis...
    http://www.ece.utexas.edu/~adnan/syn-03/

  • IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, V...
    http://www.ece.utexas.edu/~touba/research/tcad97.pdf

  • BDS logic optimization system...
    http://www.ecs.umass.edu/ece/labs/vlsicad/bds/bds.html

  • ...
    http://www.ecs.umass.edu/ece/labs/vlsicad/slides/PTLsyn.ppt

  • Synthesis Group...
    http://www.eda.ei.tum.de/forschung/statistic/web/

  • ADVANCED LOGIC SYNTHESIS. 572/672. General Information about the class for year ...
    http://www.ee.pdx.edu/~mperkows/CLASS_572/general.html

  • ADVANCED LOGIC SYNTHESIS...
    http://www.ee.pdx.edu/~mperkows/CLASS_572/

  • ADVANCED LOGIC SYNTHESIS...
    http://www.ee.pdx.edu/~mperkows/CLASS_572

  • A Synthesis Oriented Omniscient Manual Editor ...
    http://www.eecg.toronto.edu/~jayar/pubs/czajkowski/fpga2004.pdf

  • EECS 478 Logic Circuit Synthesis and Optimization...
    http://www.eecs.umich.edu/courses/eecs478

  • ISD Archived Magazine Issues and Articles...
    http://www.eedesign.com/editorial/1995/edafeature9509.html

  • EEDesign.com - Logic synthesis faces identity crisis...
    http://www.eedesign.com/story/OEG20031118S0041

  • Cadence logic synthesis gets Nvidia's nod...
    http://www.eetimes.com/printableArticle?doc_id=OEG20031027S0029

  • ECE 551: Digital System Design and Synthesis...
    http://www.engr.wisc.edu/ece/courses/ece551.html

  • Synthesis...
    http://www.exemplar.com/

  • comp.lsi.cad Frequently Asked Questions With Answers (Part 2/4) [LONG]...
    http://www.faqs.org/faqs/lsi-cad-faq/part2

  • High-level Logic Synthesis Research Group...
    http://www.fsz.bme.hu/research/logic.html

  • UNSW Handbook Course - Logic Synthesis and Verification - COMP4002...
    http://www.handbook.unsw.edu.au/undergraduate/courses/2005/COMP4002.html

  • EE 643 - Logic Synthesis...
    http://www.hpcnet.org/cgi-bin/global/a_bus_card.cgi?SiteID=397722

  • SHACKLEFORD ET AL. SASIMI 2000, Kyoto April 6-7, 2000 ...
    http://www.hpl.hp.com/speeches/techtalks/2000/shackleford_paper.apr00.pdf

  • International Workshop on Logic & Synthesis 2002...
    http://www.informatik.uni-trier.de/~ley/db/conf/iwls/iwls2002.html

  • Research - Synthesis Research - Synthesis Team Logic Design and Synthesis...
    http://www.intel.com/research/scl/synthlds.htm

  • ITU...
    http://www.itu.edu/logicsynthesis.html

  • IWLS 2005...
    http://www.iwls.org/

  • Jossey-Bass::VHDL for Logic Synthesis, 2nd Edition...
    http://www.josseybass.com/remtitle.cgi?isbn=047198325X

  • Alliance EDA Logic Synthesis Tools - Tech Observer...
    http://www.kennethhunt.com/archives/000559.html

  • Tsutomu Sasao - Logic Synthesis and Optimization...
    http://www.lsi-cad.com/sasao/logicsyn.html

  • Tsutomu Sasao - Switching Theory for Logic Synthesis...
    http://www.lsi-cad.com/sasao/switching.html

  • Logic Synthesis...
    http://www.macs.ece.mcgill.ca/~zeljko/530/530.html

  • Visualizing the Behavior of Logic Synthesis Algorithms ...
    http://www.magma-da.com/articles/Howards-SNUG-paper.pdf

  • Magma Design Automation, Inc. - Why Yesterday's Synthesis Tools Can't Handle Tod...
    http://www.magma-da.com/c/@ECBVT9uha4atI/Pages/YesterdaysSynthesis.html

  • Synthesis...
    http://www.mentor.com/products/fpga_pld/synthesis/index.cfm

  • ...
    http://www.npu.edu/cadence/ee510/ambit.ppt

  • QuickLogic - Embedded Standard Products... Beyond Programmable Logic...
    http://www.quicklogic.com/home.asp

  • IBM Research Projects Logic Synthesis and Physical Design...
    http://www.research.ibm.com/da/logic.html

  • Incremental Synthesis ...
    http://www.research.ibm.com/da/publications/ec.pdf

  • BooleDozer: by L. Stok ...
    http://www.research.ibm.com/journal/rd/404/stok.pdf

  • Discover key facts about Logic Synthesis Using Synopsis Logic Design from MSN Sh...
    http://www.shopping.msn.com/search/detail.aspx?pcId=12180&prodId=296609

  • An ECL Logic Synthesis System...
    http://www.sigda.org/Archives/ProceedingArchives/Dac/Dac91/papers/1991/dac9

  • Springer - Logic Synthesis of Asynchronous Controllers and Interfaces - by J. Co...
    http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-191-22-2158934-0,

  • Springer - Reversible Logic Synthesis - by Anas N. Al-Rabadi...
    http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-191-22-2318256-0,

  • Layout Oriented Logic Synthesis for Deep Submicron Technologies...
    http://www.stw.nl/projecten/E/eel4696.html

  • Synopsys Logic Synthesis Datasheet...
    http://www.synopsys.com/products/logic/synthesis_ds.html

  • Synplicity: Corporate...
    http://www.synplicity.com/corporate/pressreleases/2003/SYB-201final.html

  • Synplicity:...
    http://www.synplicity.com/events/date05/product_demo.html

  • TechOnLine - Current Chip Design Flow is Flawed...
    http://www.techonline.com/community/tech_group/soc/22966__DV6429895387KJ

  • TechOnLine - Using C Based Logic Synthesis to Bridge the Productivity Gap...
    http://www.techonline.com/community/tech_topic/timing_closure/tech_paper/35

  • tele-TASK - Archive...
    http://www.tele-task.de/player/embedded.php

  • Logic and Physical Synthesis Methodology for ...
    http://www.tensilica.com/SNUG_sanghavi_paper.pdf

  • Wiley::Verilog Coding for Logic Synthesis...
    http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471429767.html

  • Wiley::VHDL for Logic Synthesis, 2nd Edition...
    http://www.wiley.com/WileyCDA/WileyTitle/productCd-047198325X.html

  • Wiley::VHDL for Logic Synthesis, 2nd Edition...
    http://www.wiley.com/remtitle.cgi?isbn=047198325X

  • Wiley::VHDL for Logic Synthesis, 2nd Edition...
    http://www.wileyeurope.com/cda/product/0%2C%2C047198325X%2C00.html

  • PERSPECTIVE ­ EDA SOFTWARE ...
    http://www.xilinx.com/xcell/xl32/xl32_14.pdf

  • Xilinx Home : Products and Services : Design Tools : AllianceEDA Partners...
    http://www.xilinx.com/xlnx/xil_prodcat_landingpage.jsp?title=Alliance+EDA+P

  • |Terms of Service|Contact Us|

    Copyright ©2004- ScienceOxygen.com all rights reserved