{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001604907,0.00007935036,0.0001055428,0.00008156098,0.00005817116,0.00007824416,0.0004233411,0.00002417249,0.00008048169],"category_scores_gemma":[0.0005401251,0.0000704658,0.00002036576,0.0004596713,0.00001480649,0.0002259863,0.00009153126,0.00008450256,0.000168068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002660225,"about_ca_system_score_gemma":0.00001006705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000187702,"about_ca_topic_score_gemma":0.00002181655,"domain_scores_codex":[0.9991938,0.0000289694,0.0001678119,0.0002374077,0.0001301406,0.0002418177],"domain_scores_gemma":[0.9991838,0.0005004214,0.00003679022,0.0001963786,0.00003086583,0.00005178975],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[2.389398e-9,0.00003481823,0.01594475,0.000004708374,0.000001333906,0.00002203472,0.0000875425,0.00005126922,0.0002808917,0.01047671,0.0002526534,0.9728433],"study_design_scores_gemma":[0.000300494,0.00004013364,0.08366043,0.000168815,0.000003831195,0.00005321653,0.00003186553,0.9111912,0.002229558,0.001482549,0.0004068,0.000431089],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1241445,0.0002753359,0.7738565,0.001696298,0.0005006722,0.0001486917,0.000002417683,0.000736749,0.09863893],"genre_scores_gemma":[0.9926062,0.000002057128,0.006898158,0.0001792375,0.00003700214,0.000006700205,8.612084e-8,0.00000381025,0.0002667138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9724122,"threshold_uncertainty_score":0.2873512,"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."}}