High-Logic

Results: 359



#Item
101Theoretical computer science / Proof theory / Logical syntax / Formal systems / Logical truth / Rippling / Formal methods / Theorem / Mathematical proof / Logic / Mathematics / Automated theorem proving

Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:19:51
102Electronic design automation / Electronic design / Fabless semiconductor companies / Complex programmable logic device / Altera / Field-programmable gate array / Programmable logic device / Counter / Logic gate / Electronic engineering / Electronics / Digital electronics

Designing for High Speed-Performance in CPLDs and FPGAs Zeljko Zilic, Guy Lemieux, Kelvin Loveless, Stephen Brown, and Zvonko Vranesic Department of Electrical and Computer Engineering, University of Toronto, Canada emai

Add to Reading List

Source URL: www.eecg.toronto.edu

Language: English - Date: 1999-09-21 22:20:51
103Hardware verification languages / Hillsboro /  Oregon / Synopsys / High-level synthesis / SystemC / System on a chip / Logic synthesis / Ricoh / Electronic engineering / Electronic design automation / Electronic design

Success Story Synopsys and Ricoh Ricoh Optimizes New Multi-Function Printer SoC Architecture with Synopsys Platform Architect MCO

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2014-12-30 08:15:46
104Hashing / Information science / Jaccard index / Measure theory / MinHash / Bloom filter / Hash function / Hash table / Hamming distance / Search algorithms / Geometry / Logic

Efficient Estimation for High Similarities using Odd Sketches Michael Mitzenmacher Rasmus Pagh

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2014-01-30 03:01:41
105Electronic design automation / Reconfigurable computing / Field-programmable gate array / Xilinx / Altera / Logic synthesis / Application-specific integrated circuit / Synopsys / High-level synthesis / Electronic engineering / Electronics / Fabless semiconductor companies

Engineers’ Guide to FPGA & PLD Solutions Automotive Electronics Fuels Need for High-Reliability Devices FPGAs: Good Company in

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-02-03 08:15:35
106Electromagnetism / Electronic design / Radio electronics / Logic families / Microelectromechanical system oscillator / Crystal oscillator / Low-voltage differential signaling / Voltage-controlled oscillator / LVCMOS / Electronic engineering / Electronics / Oscillators

Timing Solutions PRODUCT SELECTOR GUIDE HIGH PERFORMANCE

Add to Reading List

Source URL: www.silabs.com

Language: English - Date: 2014-11-14 10:41:48
107

科目名:高性能論理回路特論 開講学期:後期 ( 英 文 名 : High-performance Logic Circuit

Add to Reading List

Source URL: www2.yz.yamagata-u.ac.jp

Language: Japanese - Date: 2012-06-18 03:24:46
    108Electronic design / Fabless semiconductor companies / Integrated circuits / Field-programmable gate array / Logic synthesis / High-level synthesis / Xilinx / Synopsys / Integrated circuit design / Electronic engineering / Electronics / Electronic design automation

    Synopsys FPGA and Simulink-Based Design Solutions for Automotive Synopsys Automotive Seminar – Japan May 2012

    Add to Reading List

    Source URL: www.synopsys.com

    Language: English - Date: 2015-01-15 08:15:47
    109Graphic design / Latin alphabet / Typeface / Font / OpenType / PANOSE / Typographic ligature / Subscript and superscript / Serif / Typography / Typesetting / Digital typography

    Using Glyph Transformations In High-Logic® FontCreator Professional 6.5 The transform feature is useful for making new type styles from existing fonts. It is not available in the Home Edition, but only in the Profession

    Add to Reading List

    Source URL: www.high-logic.com

    Language: English - Date: 2014-03-10 06:27:30
    110Charge pump / Pinout / Capacitor / IC power supply pin / Logic level / Power supply / 5V / Technology / Electromagnetism / Electrical engineering / Integrated circuits

    ® SP200[removed][removed] +5V High–Speed RS-232 Transceivers with 0.1µF Capacitors ■

    Add to Reading List

    Source URL: optimus.meleeisland.net

    Language: English
    UPDATE