新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mmuecke hdl [74 articles]

最近 mmuecke さんのライブラリに追加された論文の中から タグ hdl. You can also see everyone's hdl.
  • Programming paradigms for reconfigurable computing
    Microprocessors and Microsystems, Vol. 29, No. 10. (5 December 2005), pp. 435-450.
    by Gareth Lee, George Milne
    posted to hdl high_level_synthesis language_design reconfigurable_computing trends by mmuecke on 2008-04-17 21:02:13 as **
  • Productivity of High-Level Languages on Reconfigurable Computers: An HPC Perspective
    Field-Programmable Technology, 2007. ICFPT 2007. International Conference on (2007), pp. 257-260.
    by Esam El-Araby, Preetham Nosum, Tarek El-Ghazawi
    posted to electronics_design_automation hdl high_level_synthesis language_design parallel_programming reconfigurable_computing by mmuecke on 2008-02-07 07:06:34 as *****
  • A bitwidth-aware extension to the HDCaml Hardware Description Language
    (2006)
    by Manfred Muecke
    posted to confluence electronics_design_automation fixedpoint functional hdl high_level_synthesis language_design by mmuecke on 2008-01-23 14:25:45 as read
  • A Study of Design Efficiency with a High-Level Language for FPGAs
    Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International (2007), pp. 1-7.
    by Zain-Ul-Abdin, B Svensson
    posted to fpga hdl high_level_synthesis by mmuecke on 2007-11-27 00:24:49 as **
  • notes Stream-Oriented FPGA Computing in the Streams-C High Level Language
    (2000)
    by Maya B Gokhale, Janice M Stone, Jeff Arnold, Mirek Kalinowski
    posted to compiler_design hdl hdl_tool high_level_synthesis parallel_programming vhdl by mmuecke on 2007-10-04 22:40:08 as ****
  • Towards a general framework for FPGA based image processing using hardware skeletons
    Parallel Comput., Vol. 28, No. 7-8. (2002), pp. 1141-1154.
    by K Benkrid, D Crookes, A Benkrid
    posted to compiler_design fpga hdl hdl_tool high_level_synthesis image_processing parallel_programming by mmuecke on 2007-10-02 07:27:48 as *****
  • Hardware Design and Functional Programming: a Perfect Match
    by Mary Sheeran
    posted to functional hdl language_design parallel_programming survey vlsi_design by mmuecke on 2007-09-27 18:57:17 as ***** along with 2 people spl SamB
  • A reflective functional language for hardware design and theorem proving
    J. Funct. Program., Vol. 16, No. 2. (March 2006), pp. 157-196.
    by Jim Grundy, Tom Melham, John O'Leary
    posted to functional hdl high_level_synthesis by mmuecke on 2007-09-27 18:45:44 as *****
  • Hardware Synthesis from Term Rewriting Systems
    (2000), pp. 595-619.
    by James C Hoe, Arvind
    posted to formal_synthesis hdl hdl_tool high_level_synthesis by mmuecke on 2007-09-27 15:11:10 as *****
  • An Enhanced Hardware Description Language Implementation for Improved Design-Space Exploration in High-Energy Physics Hardware Design
    (July 2007)
    by Manfred Muecke
    posted to compiler_design dsl fpgas_in_hep functional hdl language_design language_embedding lhcb open_source_eda by mmuecke on 2007-08-10 12:14:23 as **
  • notes Efficient FPGA hardware development: A multi-language approach
    J. Syst. Archit., Vol. 53, No. 4. (April 2007), pp. 184-209.
    by K Benkrid, A Benkrid, S Belkacemi
    posted to hdl high_level_synthesis by mmuecke on 2007-06-04 18:09:50 as *****
  • notes A methodology for generating verified combinatorial circuits
    (2004), pp. 249-258.
    by Oleg Kiselyov, Kedar N Swadi, Walid Taha
    posted to dsl hdl high_level_synthesis multi_stage_programming by mmuecke on 2007-06-04 17:52:32 as *****
  • Meta-HDL: A Multi-Stage Programming Language for Dynamically Reconfigurable Hardware
    by Adam Megacz
    posted to hdl reconfigurable_computing by mmuecke on 2007-06-04 17:47:13 as **
  • A Formal HDL and its Use in the FM9001 Verification
    JSTOR: Philosophical Transactions: Physical Sciences and Engineering: Mechanized Reasoning and Hardware Design, Vol. 339, No. 1652., pp. 35-47.
    by Warren A Hunt, Bishop C Brock
    posted to hdl verification by mmuecke on 2007-06-04 17:37:02 as **
  • IEEE Standard for Property Specification Language (PSL)
    IEEE Std 1850-2005 (2005), pp. 0_1-143.
    posted to hdl hdl_tool vlsi_design by mmuecke on 2007-05-29 12:23:14 as **
  • A bitwidth-aware extension to the HDCaml Hardware Description Language
    (September 2006)
    by Manfred Muecke, Guido Haefeli
    posted to fixedpoint functional hdl by mmuecke on 2007-05-22 15:28:11 as read
  • Designing FPGA Circuits in Lava
    by S Singh, M Sheeran
    posted to fpga hdl by mmuecke on 2007-04-13 09:19:31 as ** along with 1 person SamB
  • notes muFP, a language for VLSI design
    (1984), pp. 104-112.
    by Mary Sheeran
    posted to hdl by mmuecke on 2007-04-13 09:13:40 as **
  • notes Transformational Rewriting with Ruby
    (1993), pp. 243-260.
    by Robin Sharp, Ole Rasmussen
    posted to hdl by mmuecke on 2007-04-13 09:10:25 as **
  • notes Overview of hydra: a concurrent language for synchronous digital circuit design
    Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM (2002), pp. 234-242.
    by J O'Donnell
    posted to functional hdl by mmuecke on 2007-04-13 08:03:39 as **
  • notes HML - An innovative Hardware Description Language and its translation to VHDL
    (1995)
    by Yanbing Li
    posted to functional hdl by mmuecke on 2007-04-13 07:40:13 as **
  • HML, a novel hardware description language and its translation to VHDL
    Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 8, No. 1. (2000), pp. 1-8.
    by Yanbing Li, M Leeser
    posted to functional hdl by mmuecke on 2007-04-13 07:34:45 as **
  • Gropius - Advanced Reuse Concepts in a New Hardware Description Language
    by Dirk Eisenbiegler, Christian Blumenröhr
    posted to formal_language_theory formal_synthesis hdl high_level_synthesis by mmuecke on 2007-04-12 15:43:10 as **
  • notes Ein Kalkül für die Formale Schaltungssynthese
    (1999)
    by Dirk Eisenbiegler
    posted to formal_synthesis hdl high_level_synthesis by mmuecke on 2007-04-12 15:34:58 as **
  • notes On embedding a microarchitectural design language within Haskell
    (1999), pp. 60-69.
    by John Launchbury, Jeffrey R Lewis, Byron Cook
    posted to functional hdl by mmuecke on 2007-04-12 14:26:28 as ** along with 1 person SamB
  • notes Lava: hardware design in Haskell
    (1998), pp. 174-184.
    by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
    posted to functional hdl by mmuecke on 2007-04-12 13:35:46 as ** along with 3 people pedagand jacob SamB
  • Verischemelog: Verilog embedded in Scheme
    (1999), pp. 123-134.
    by James Jennings, Eric Beuscher
    posted to hdl by mmuecke on 2007-04-12 09:27:14 as **
  • notes New language makes waves
    EETimes.com (May 2003)
    by Clive Maxfield
    posted to functional hdl by mmuecke on 2007-04-12 08:57:19 as **
  • Defining an Enhanced RTL Semantics
    (2005), pp. 548-553.
    by Shuqing Zhao, Daniel D Gajski
    posted to hdl high_level_synthesis by mmuecke on 2007-04-10 14:06:43 as **
  • notes An introduction to MHDL
    Microwave Symposium Digest, 1993., IEEE MTT-S International (1993), pp. 1487-1490 vol.3.
    by DL Barton, DD Dunlop
    posted to functional hdl by mmuecke on 2007-04-04 16:06:31 as **
  • Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing Systems
    : Computer Vision Systems: First International Conference, ICVS'99, Las Palmas, Gran Canaria, Spain, January 1999. Proceedings (1999), 83.
    by Jeffrey P Hammes, Bruce A Draper, Willem AP Böhm
    posted to hdl high_level_synthesis image_processing by mmuecke on 2007-04-04 15:53:18 as **
  • notes Esterel and Jazz : Two Synchronous Languages for Circuit Design
    : Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 1-1.
    by Gérard Berry
    posted to hdl by mmuecke on 2007-04-04 14:46:22 as **
  • notes MyHDL - Scripting language takes silicon turn
    EE Times (23 January 2006)
    by Richard Goering
    posted to hdl by mmuecke on 2007-04-04 14:06:59 as **
  • JHDL-an HDL for reconfigurable systems
    FPGAs for Custom Computing Machines, 1998. Proceedings. IEEE Symposium on (1998), pp. 175-184.
    by P Bellows, B Hutchings
    posted to hdl hdl_tool language_embedding open_source_eda reconfigurable_platforms by mmuecke on 2007-04-04 13:45:31 as ** along with 1 person and 1 group clarence RC_FCU
  • notes Systematischer Entwurf digitaler Systeme
    by Franz J Rammig
    posted to hdl survey by mmuecke on 2007-04-03 14:16:28 as **
  • Handel-C Language Reference Manual
    (2004)
    by Celoxica
    posted to hdl high_level_synthesis by mmuecke on 2007-03-30 17:17:21 as **
  • notes SystemC Synthesizable Subset Draft 1.1.18
    (December 2004)
    edited by "synthesis
    posted to hdl high_level_synthesis systemc by mmuecke on 2007-03-30 13:17:46 as **
  • notes Flow graph representation
    (1986), pp. 503-509.
    by Alex Orailoglu, Daniel D Gajski
    posted to dfg hdl hdl_tool high_level_synthesis survey by mmuecke on 2007-03-29 14:39:08 as **
  • notes Bridging the domains of high-level and logic synthesis
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 21, No. 5. (2002), pp. 582-596.
    by RA Bergamaschi
    posted to dfg hdl high_level_synthesis survey vhdl by mmuecke on 2007-03-28 13:51:13 as **
  • Open HW, open design SW, and the VC ecosystem dilemma
    System-on-Chip for Real-Time Applications, 2005. Proceedings. Fifth International Workshop on (2005), pp. 3-6.
    by JA Carballo
    posted to hdl hdl_tool open_source_eda by mmuecke on 2007-03-19 14:34:53 as **
  • Revolution in electronic EDA education/research: GOSPL
    Microelectronic Systems Education, 2005. (MSE '05). Proceedings. 2005 IEEE International Conference on (2005), pp. 37-38.
    by R Sud, M Chaitanya
    posted to fpga hdl hdl_tool open_source_eda teaching by mmuecke on 2007-03-19 14:25:18 as **
  • Unified C/VHDL Model Generation of FPGA-based LHCb VELO algorithms
    (26 September 2006)
    by Manfred Muecke, Tomasz Szumlak
    posted to dsl fpga hdl lhcb by mmuecke on 2007-03-13 10:05:59 as read
  • notes SABLE: A Tool for Generating Structured, Multi-Level Simulations
    Design Automation, 1979. 16th Conference on (1979), pp. 272-279.
    by D Hill, W Vancleemput
    posted to hdl by mmuecke on 2007-03-08 14:20:40 as **
  • notes A review of HDLs
    (February 1990)
    by José E Moreira, Wilson V Ruggiero
    posted to hdl survey by mmuecke on 2007-03-08 14:08:11 as **
  • notes Digital Systems: Hardware Organization and Design
    (14 October 1987)
    by Frederick J Hill, Gerald R Peterson
    posted to hdl by mmuecke on 2007-03-08 14:01:53 as **
  • Three decades of HDLs. I. CDL through TI-HDL
    IEEE Design & Test of Computers, Vol. 9, No. 2. (1992), pp. 69-81.
    by Y Chu, DL Dietmeyer, JR Duley, FJ Hill, MR Barbacci, CW Rose, G Ordy, B Johnson, M Roberts
    posted to hdl survey by mmuecke on 2007-03-08 13:35:53 as **
  • A Digital System Design Language (DDL)
    Computers, IEEE Transactions on, Vol. C-17, No. 9. (1968), pp. 850-861.
    by JR Duley, DL Dietmeyer
    posted to hdl by mmuecke on 2007-03-08 13:30:56 as **
  • notes An ALGOL-like computer design language
    Commun. ACM, Vol. 8, No. 10. (October 1965), pp. 607-615.
    by Yaohan Chu
    posted to hdl by mmuecke on 2007-03-08 13:12:26 as **
  • notes Integrated techniques for functional and gate-level digital logic simulation
    (1973), pp. 159-172.
    by SA Szygenda, AA Lekkos
    posted to hdl hdl_tool by mmuecke on 2007-03-08 13:08:50 as **
  • notes SALOGS-IV A Program to Perform Logic Simulation and Fault Diagnosis
    Design Automation, 1978. 15th Conference on (1978), pp. 392-397.
    by GR Case, JD Stauffer
    posted to hdl by mmuecke on 2007-03-08 12:58:16 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/mmuecke/tag/hdl

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.