mmuecke's verification [6 articles] Export

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

	On the design of IEEE compliant floating point units [My Copy] Computers, IEEE Transactions on, Vol. 49, No. 5. (06 August 2002), pp. 398-413. by G. Even, W. J. Paul posted to vlsi_design verification floating_point by mmuecke on 2009-11-06 15:03:45 as
	A tool for translating VHDL to finite state machines [My Copy] Digital Avionics Systems Conference, 2003. DASC '03. The 22nd In Digital Avionics Systems Conference, 2003. DASC '03. The 22nd, Vol. 1 (2003), pp. 3.B.6-3.1-7 vol.1. by C. Nehme, K. Lundqvist posted to electronics_design_automation hdl_tool verification vhdl by mmuecke on 2009-02-06 13:10:54 as
	Automatic Formal Verification of Fused-Multiply-Add FPUs [My Copy] In DATE '05: Proceedings of the conference on Design, Automation and Test in Europe (2005), pp. 1298-1303. by Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner posted to floating_point verification by mmuecke on 2009-01-21 16:58:54 as
	Formal methods: state of the art and future directions [My Copy] ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643. by Edmund M. Clarke, Jeannette M. Wing posted to survey term_rewriting verification by mmuecke on 2008-06-06 15:14:55 as along with 8 people mishra_satish michaelbanks richardmitchell GMariano jrw bfraser leonardo RalfMitschke
	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
	Automatically Generated CSP Provides Verification for occam-derived Logic Circuits. [My Copy] In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2005, Las Vegas, Nevada, USA, June 27-30, 2005 (2005), pp. 180-186. by Roger Peel, David posted to hdl_tool parallel_programming verification by mmuecke on 2007-05-03 10:41:56 as

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

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.

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

mmuecke's verification [6 articles] Export

mmuecke's tags