{"id":"W4248493726","doi":"10.1109/ishls.1994.302335","title":"Concurrent testing in high level synthesis","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Idle; Control flow graph; Data flow diagram; Graph; Signal-flow graph; Automatic test pattern generation; Parallel computing; Test data; Signature (topology); Data-flow analysis; Algorithm; Electronic circuit; Theoretical computer science; Programming language; Mathematics; Engineering; Operating system; Database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00228368,0.0009038088,0.0007071283,0.0009884848,0.0008046684,0.001804355,0.001741139,0.0007335016,0.003215769],"category_scores_gemma":[0.009055914,0.0006335462,0.0008502084,0.000882333,0.003259458,0.002947013,0.00165151,0.001764377,0.000536577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001426045,"about_ca_system_score_gemma":0.001593325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002410527,"about_ca_topic_score_gemma":0.002229438,"domain_scores_codex":[0.9957743,0.001610948,0.0001816521,0.0006326728,0.001476701,0.0003237215],"domain_scores_gemma":[0.9926439,0.005031064,0.0004362631,0.001145919,0.0006073361,0.0001356057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006062408,0.000196001,0.001564872,0.0005247173,0.00007646982,0.0004821919,0.0004646995,0.1380439,0.03058559,0.4557939,0.001876898,0.3697845],"study_design_scores_gemma":[0.0002261285,0.0004715398,0.0002933963,0.0001164086,0.00008582092,0.000489937,0.0000635329,0.6063637,0.05891751,0.3140761,0.01883083,0.00006509923],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01023276,0.0003823553,0.9832134,0.0001463678,0.00006655545,0.00008886201,0.00002097194,0.0008894145,0.00495931],"genre_scores_gemma":[0.4991679,0.000426053,0.4957708,0.0002200097,0.0001313684,0.0002900717,0.00008530253,0.0002635219,0.003644956],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003215769,"threshold_uncertainty_score":0.01207739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1573278893549702,"score_gpt":0.2430599042369667,"score_spread":0.08573201488199644,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}