{"id":"W2108236887","doi":"10.1109/newcas.2010.5603786","title":"Illegal state extraction from Register Transfer Level","year":2010,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Register (sociolinguistics); Process (computing); Identification (biology); State (computer science); Transfer (computing); Data mining; Algorithm; Parallel computing; Programming language","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.0006351501,0.0006426108,0.0005771657,0.002038851,0.0005597629,0.001141163,0.0008453912,0.0006671863,0.004807473],"category_scores_gemma":[0.007376795,0.0003813691,0.000440416,0.0007803947,0.000840297,0.002214243,0.001159061,0.0009351038,0.001172729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005917868,"about_ca_system_score_gemma":0.0009311484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000924785,"about_ca_topic_score_gemma":0.001336098,"domain_scores_codex":[0.9980994,0.0002849601,0.0001103861,0.0002146547,0.001157888,0.0001326773],"domain_scores_gemma":[0.9938446,0.003258544,0.0008776382,0.001207199,0.000758219,0.00005375611],"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":[0.0005994503,0.0001299627,0.008133602,0.0008365299,0.00008725374,0.00245996,0.0008565938,0.05412879,0.1675631,0.05888793,0.006856853,0.6994601],"study_design_scores_gemma":[0.00005504597,0.00022638,0.003054054,0.0001891288,0.00007615363,0.001866077,0.0001177273,0.456505,0.4569827,0.05213294,0.02866102,0.0001337608],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06817182,0.0002392106,0.9181759,0.000169441,0.00006856491,0.0001159749,0.0004737806,0.007769589,0.00481579],"genre_scores_gemma":[0.6380804,0.0002048635,0.3541478,0.0001810025,0.00003604476,0.0001971955,0.001316272,0.001022106,0.004814357],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004807473,"threshold_uncertainty_score":0.01608258,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04244783898882831,"score_gpt":0.257646411376814,"score_spread":0.2151985723879857,"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."}}