mmuecke's hdl [74 articles] Export

Recent papers added to mmuecke's library classified by the tag hdl. You can also see everyone's hdl.

	CGADL: An Architecture Description Language for Coarse-Grained Reconfigurable Arrays [My Copy] Very Large Scale Integration (VLSI) Systems, IEEE Transactions on In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 17, No. 9. (2009), pp. 1247-1259. by J. O. Filho, S. Masekowsky, T. Schweizer, W. Rosenstiel posted to reconfigurable_platforms hdl by mmuecke on 2009-09-03 14:32:53 as
	Programming paradigms for reconfigurable computing [My Copy] 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 along with 1 person hannibal_08
	Productivity of High-Level Languages on Reconfigurable Computers: An HPC Perspective [My Copy] Field-Programmable Technology, 2007. ICFPT 2007. International Conference on In 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 along with 1 person hannibal_08
	A Study of Design Efficiency with a High-Level Language for FPGAs [My Copy] Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International In 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
	Stream-Oriented FPGA Computing in the Streams-C High Level Language [My Copy] In FCCM '00: Proceedings of the 2000 IEEE Symposium on Field-Programmable Custom Computing Machines (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 [My Copy] 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 [My Copy] 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 SamB spl
	A reflective functional language for hardware design and theorem proving [My Copy] 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 along with 1 person glutamate
	Hardware Synthesis from Term Rewriting Systems [My Copy] In VLSI '99: Proceedings of the IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration (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 [My Copy] (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
	Efficient FPGA hardware development: A multi-language approach [My Copy] 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
	A methodology for generating verified combinatorial circuits [My Copy] In EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software (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 [My Copy] In ACM SIGPLAN/SIGBED 2004 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04) 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 [My Copy] 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) [My Copy] 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 [My Copy] In Proceedings of the Forum on specification and Design Languages 2006, FDL'06 (September 2006) by Manfred Muecke, Guido Haefeli posted to confluence electronics_design_automation fixedpoint functional hdl high_level_synthesis language_design by mmuecke on 2007-05-22 15:28:11 as
	Designing FPGA Circuits in Lava [My Copy] by S. Singh, M. Sheeran posted to fpga hdl by mmuecke on 2007-04-13 09:19:31 as along with 1 person SamB
	muFP, a language for VLSI design [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 104-112. by Mary Sheeran posted to hdl by mmuecke on 2007-04-13 09:13:40 as
	Transformational Rewriting with Ruby [My Copy] In CHDL '93: Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications (1993), pp. 243-260. by Robin Sharp, Ole Rasmussen posted to hdl by mmuecke on 2007-04-13 09:10:25 as
	Overview of hydra: a concurrent language for synchronous digital circuit design [My Copy] 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
	HML - An innovative Hardware Description Language and its translation to VHDL [My Copy] (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 [My Copy] 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 [My Copy] 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
	Ein Kalkül für die Formale Schaltungssynthese [My Copy] (1999) by Dirk Eisenbiegler posted to formal_synthesis hdl high_level_synthesis by mmuecke on 2007-04-12 15:34:58 as
	On embedding a microarchitectural design language within Haskell [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (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
	Lava: hardware design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (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 4 people draganigajic jacob SamB pedagand
	Verischemelog: Verilog embedded in Scheme [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages (1999), pp. 123-134. by James Jennings, Eric Beuscher posted to hdl by mmuecke on 2007-04-12 09:27:14 as along with 1 person education02
	New language makes waves [My Copy] 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 [My Copy] In DATE '05: Proceedings of the conference on Design, Automation and Test in Europe (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
	An introduction to MHDL [My Copy] Microwave Symposium Digest, 1993., IEEE MTT-S International (1993), pp. 1487-1490 vol.3. by D. L. Barton, D. D. 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 [My Copy] : 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 A. P. Böhm posted to hdl high_level_synthesis image_processing by mmuecke on 2007-04-04 15:53:18 as
	Esterel and Jazz : Two Synchronous Languages for Circuit Design [My Copy] : 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
	MyHDL - Scripting language takes silicon turn [My Copy] 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 [My Copy] 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 2 people and 2 groups elliob clarence rit_ee732 RC_FCU
	Systematischer Entwurf digitaler Systeme [My Copy] by Franz J. Rammig posted to hdl survey by mmuecke on 2007-04-03 14:16:28 as
	Handel-C Language Reference Manual [My Copy] (2004) by Celoxica posted to hdl high_level_synthesis by mmuecke on 2007-03-30 17:17:21 as
	SystemC Synthesizable Subset Draft 1.1.18 [My Copy] (December 2004) edited by Synthesis Working Group of Open SystemC Initiative posted to hdl high_level_synthesis systemc by mmuecke on 2007-03-30 13:17:46 as
	Flow graph representation [My Copy] In DAC '86: Proceedings of the 23rd ACM/IEEE conference on Design automation (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
	Bridging the domains of high-level and logic synthesis [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 21, No. 5. (2002), pp. 582-596. by R. A. 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 [My Copy] System-on-Chip for Real-Time Applications, 2005. Proceedings. Fifth International Workshop on (2005), pp. 3-6. by J. A. 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 [My Copy] 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 [My Copy] In 12th Workshop on Electronics for LHC and future Experiments (25-29 September 2006) (26 September 2006) by Manfred Muecke, Tomasz Szumlak posted to dsl fpga hdl lhcb by mmuecke on 2007-03-13 10:05:59 as
	SABLE: A Tool for Generating Structured, Multi-Level Simulations [My Copy] 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
	A review of HDLs [My Copy] (February 1990) by José E. Moreira, Wilson V. Ruggiero posted to hdl survey by mmuecke on 2007-03-08 14:08:11 as
	Digital Systems: Hardware Organization and Design [My Copy] (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 [My Copy] IEEE Design & Test of Computers, Vol. 9, No. 2. (1992), pp. 69-81. by Y. Chu, D. L. Dietmeyer, J. R. Duley, et al.F. J. Hill, M. R. Barbacci, C. W. 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) [My Copy] Computers, IEEE Transactions on, Vol. C-17, No. 9. (1968), pp. 850-861. by J. R. Duley, D. L. Dietmeyer posted to hdl by mmuecke on 2007-03-08 13:30:56 as
	An ALGOL-like computer design language [My Copy] 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
	Integrated techniques for functional and gate-level digital logic simulation [My Copy] In DAC '73: Proceedings of the 10th workshop on Design automation (1973), pp. 159-172. by S. A. Szygenda, A. A. Lekkos posted to hdl hdl_tool by mmuecke on 2007-03-08 13:08:50 as
	SALOGS-IV A Program to Perform Logic Simulation and Fault Diagnosis [My Copy] Design Automation, 1978. 15th Conference on (1978), pp. 392-397. by G. R. Case, J. D. Stauffer posted to hdl by mmuecke on 2007-03-08 12:58:16 as

Note: You may cite this page as: http://www.citeulike.org/user/mmuecke/tag/hdl

Result page: 1 2 Next

fpga	74
hdl	74
high-performance_computing	73
high_level_synthesis	66
floating_point	64
mpi	58
parallel_programming	48
performance_analysis	47
reconfigurable_computing	41
survey	39
computer_architecture	33
fpgas_in_hep	28
vlsi_design	28
error_analysis	27
fixedpoint	26
fpgasupercomputing	26
functional	26
vhdl	25
dsl	24
language_design	23
trends	23
matrix	22
molecular_dynamics	22
mpi_tools	21
reconfigurable_platforms	20
image_processing	19
compiler_design	18
bioinformatics	17
hdl_tool	17
dfg	16
numa	16
scientific_publishing	15
book	14
communication_algorithms	14
electronics_design_automation	13
mixed_precision	13
charmm	12
dsp_on_fpga	12
architecture_comparison	11
formal_language_theory	11
linear_algebra	11
svm	11
fft	10
multicore	10
teaching	10
interval_arithmetic	8
matrix_sparse	7
molecular_docking	7
parallel_algorithms	7
signal_processing_theory	7
sopc	7
systemc	7
term_rewriting	7
computer_arithmetic	6
lhcb	6
lhc_transversefeedbacksystem	6
verification	6
genomesequencing	5
vlsi_design_theory	5
adl	4
case_study	4
formal_synthesis	4
gpu	4
hw_ip_reuse	4
infiniband	4
open_source_eda	4
performance_modelling	4
protein_sequences	4
cell_cpu	3
confluence	3
language_embedding	3
unix_linux_solaris	3
analog_computing	2
generative_programming	2
middle_ware	2
people	2
structural_computing	2
wsn	2
echo_state_networks	1
fpaa	1
graph_theory	1
image_feature_descriptors	1
mixed_signal	1
multi_stage_programming	1
nuclear_fusion	1
pde_solvers	1
perform	1
powerefficient_computing	1
quantization_noise	1
run-time_reconfiguration	1

mmuecke's hdl [74 articles] Export

mmuecke's tags