lcigler's hardwareverification [14 articles] Export

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

Hide details

	X-Gen: a random test-case generator for systems and SoCs [My Copy] High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International In High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International (2002), pp. 145-150. by R. Emek, I. Jaeger, Y. Naveh, et al.G. Bergman, G. Aloni, Y. Katz, M. Farkash, I. Dozoretz, A. Goldin, A. Goldin posted to constraints hardwareverification ibm testgeneration by lcigler on 2008-02-03 15:28:24 as
	Random Stimuli Generation for Functional Hardware Verification as a CP Application [My Copy] Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 882-882. by Yehuda Naveh, Roy Emek posted to constraints hardwareverification testgeneration by lcigler on 2008-02-03 15:20:59 as
	Path-Based System Level Stimuli Generation [My Copy] Hardware and Software, Verification and Testing (2006), pp. 1-13. by Shady Copty, Itai Jaeger, Yoav Katz posted to hardwareverification testgeneration by lcigler on 2008-01-27 18:08:43 as
	Writing Testbenches: Functional Verification of HDL Models, Second Edition [My Copy] (01 February 2003) by Janick Bergeron posted to book hardwareverification hdl model-checking softwareverification testing by lcigler on 2007-12-16 12:36:51 as along with 2 people sandeepgill82 tvanas
	Verification of the IBM RISC System/6000 by a dynamic biased pseudo-random test program generator [My Copy] IBM Syst. J., Vol. 30, No. 4. (1991), pp. 527-538. by A. Aharon, B. Dorfman, E. Gofman, M. Leibowitz, V. Schwartzburd, A. Bar-David posted to hardwareverification testgeneration by lcigler on 2007-12-16 12:30:26 as along with 1 person gvdh
	Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... Papers (Lecture Notes in Computer Science) [My Copy] (22 March 2007) posted to hardwareverification proceedings softwareverification by lcigler on 2007-12-16 11:40:28 as
	Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science) [My Copy] (11 May 2006) posted to hardwareverification proceedings softwareverification testing by lcigler on 2007-12-16 11:34:21 as
	Scheduling-based test-case generation for verification of multimedia SoCs [My Copy] In DAC '06: Proceedings of the 43rd annual conference on Design automation (2006), pp. 348-351. by Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen posted to constraints hardwareverification scheduling by lcigler on 2007-12-16 11:31:38 as
	Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction [My Copy] In Design Automation Conference (2000), pp. 112-117. by Miroslav N. Velev, Randal E. Bryant posted to hardwareverification by lcigler on 2007-08-14 19:59:49 as
	Constraint satisfaction for test program generation [My Copy] Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on In Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on (1995), pp. 45-48. by D. Lewin, L. Fournier, M. Levinger, E. Roytman, G. Shurek posted to constraints hardwareverification testgeneration by lcigler on 2007-08-13 14:10:43 as
	Automatic test data generation using constraint solving techniques [My Copy] In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 23, No. 2. (March 1998), pp. 53-62. by Arnaud Gotlieb, Bernard Botella, Michel Rueher posted to constraints hardwareverification by lcigler on 2007-08-13 08:56:30 as along with 5 people and 1 group MatzeB bulwahn jolilius sjgaller elvinado TUCS-ES_Lab
	Symbolic Model Checking [My Copy] (1993) by Kenneth L. Mcmillan posted to hardwareverification model-checking by lcigler on 2007-08-10 10:46:40 as
	Modeling design constraints and biasing in simulation using BDDs [My Copy] In ICCAD '99: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design (1999), pp. 584-590. by Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz posted to constraints diplomka hardwareverification by lcigler on 2007-08-10 08:56:27 as
	Using a constraint satisfaction formulation and solution techniques for random test program generation [My Copy] IBM Systems journal, Vol. 41, No. 3. (2002), pp. 386-402. by Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv posted to constraints diplomka hardwareverification by lcigler on 2007-06-17 15:36:22 as

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

constraints	52
auctions	30
bidding	24
machinelearning	22
bayesiannetworks	20
gametheory	19
probability	19
multiagentlearning	19
diplomka	17
multiagentsystems	15
testgeneration	15
hardwareverification	14
epfl-project	14
uncertainty	13
inference	12
ai	12
agent	11
strategy	11
sponsoredsearch	11
complexity	9
statistics	9
survey	9
decisiontheory	7
optimization	7
decisionmaking	7
geneticalgorithms	7
bucketelimination	6
simplicity	6
economics	6
softconstraints	6
markets	6
equilibrium	6
finance	5
evolutionary_game_theory	5
boundedrationality	4
modelselection	4
localsearch	4
sampling	4
consistency	4
onlinealgorithms	4
minority_game	4
markovchains	4
electricity	4
softwareverification	4
knapsack	4
processors	4
planning	3
sat	3
algorithms	3
learning	3
heuristics	3
proceedings	3
approximatealgorithms	3
multiarmedbandit	3
generalization	3
constrainthierarchies	3
count-csp	3
evolution	3
conjecturalequilibrium	3
imageprocessing	3
monotonic	3
software	3
graphtheory	2
simulatedanealling	2
nofreelunch	2
resource_allocation_problem	2
graphics	2
tutorial	2
expectation	2
scheduling	2
trading	2
strategiccomplexity	2
gaussianmixture	2
rationality	2
power_control_games	2
book	2
benchmark	2
games	2
programming	2
financial_markets	2
marketdynamics	2
model-checking	2
philosophyofscience	2
testing	2
combinatorics	2
reinforcementlearning	2
np-completeness	2
market_efficiency	2
fuzzylogic	2
neuralnetworks	2
mcmc	2
regression	2
simulation	2
openproblems	1
management	1
social	1
prices	1
problemgeneration	1
portfolios	1
thesis	1
repast	1
trading_agents	1
portfolio	1
control	1
reasoning	1
utility	1
modelling	1
double	1
hdl	1
and	1
logic	1
computational	1
occamsrazor	1
floatingpoint	1
best_response	1
agent_based_modelling	1
mechanism	1
stock_market	1
counting	1
content_delivery_network	1
empirical	1
biases	1
automata	1
greedyalgorithm	1
macroeconomics	1
posteriorprobability	1
repeated_games	1
competitive_equilibrium	1
userpreference	1
market_institutions	1
double_auction_market	1
and-or-graphs	1
prediction	1
bounded	1
encyclopedia	1
globalconstraints	1
winnerscurse	1
algebra	1
videoprocessing	1
double_auction_markets	1
lambdacalculus	1
financialengineering	1
operating-systems	1
futures	1
computability	1
tracking	1
networks	1
functionalverification	1
zero_intelligence_plus	1
engineering	1
clickthrough	1
based	1
general_equilibrium	1
alldifferent	1
boosting	1
q-learning	1
montecarlo	1
overfitting	1
evolutionary_mechanism_design	1
financial_economics	1
organization	1
linearprogramming	1
communication_games	1
stackelberg_equilibrium	1
verification	1
file-import-09-03-30	1
options	1
chaos	1
backtracking	1
resolution	1
individual	1
game_theory	1
dynamicfitness	1
ibm	1
library	1
bayesiantheory	1
selfplay	1
auction	1
applications	1
file-import-09-03-18	1
derivatives	1
models	1
generalizedarcconsistency	1
markovgames	1
randomwalk	1
beliefpropagation	1
web	1
spline	1
functional	1
expertsystems	1
sex	1
learning_rate	1
market_equilibrium	1

lcigler's hardwareverification [14 articles] Export

lcigler's tags