{"id":"https://openalex.org/W2154638773","doi":"https://doi.org/10.1109/hldvt.2005.1568827","title":"GASIM: a fast Galois field based simulator for functional model","display_name":"GASIM: a fast Galois field based simulator for functional model","publication_year":2006,"publication_date":"2006-01-18","ids":{"openalex":"https://openalex.org/W2154638773","doi":"https://doi.org/10.1109/hldvt.2005.1568827","mag":"2154638773"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2005.1568827","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2005.1568827","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113458314","display_name":"Dhiraj K. Pradhan","orcid":null},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"D.K. Pradhan","raw_affiliation_strings":["Department of Computer Science, University of Bristol, Bristol, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013082893","display_name":"Ashutosh Kumar Singh","orcid":"https://orcid.org/0000-0002-8053-5050"},"institutions":[{"id":"https://openalex.org/I207206903","display_name":"Universiti Tun Abdul Razak","ror":"https://ror.org/01m91v580","country_code":"MY","type":"education","lineage":["https://openalex.org/I207206903"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"A.K. Singh","raw_affiliation_strings":["Faculty of Information Technology, University Tun Abdul Razak, Selangor, Malaysia","Faculty of Information Technology, University Tun Abdul, Razak, Selangor Darul Ehsan, Malaysia"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, University Tun Abdul Razak, Selangor, Malaysia","institution_ids":["https://openalex.org/I207206903"]},{"raw_affiliation_string":"Faculty of Information Technology, University Tun Abdul, Razak, Selangor Darul Ehsan, Malaysia","institution_ids":["https://openalex.org/I207206903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060203302","display_name":"T.L. Rajaprabhu","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T.L. Rajaprabhu","raw_affiliation_strings":["Georgia Institute of Technology Atlanta, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076588539","display_name":"Abusaleh Jabir","orcid":null},"institutions":[{"id":"https://openalex.org/I124261462","display_name":"Oxford Brookes University","ror":"https://ror.org/04v2twj65","country_code":"GB","type":"education","lineage":["https://openalex.org/I124261462"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A.M. Jabir","raw_affiliation_strings":["School of Technology, Oxford Brookes University, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"School of Technology, Oxford Brookes University, Oxford, UK","institution_ids":["https://openalex.org/I124261462"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5113458314"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":0.6741,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72836613,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7580746412277222},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7525244355201721},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.6444547772407532},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.58490389585495},{"id":"https://openalex.org/keywords/finite-field","display_name":"Finite field","score":0.5122836828231812},{"id":"https://openalex.org/keywords/galois-theory","display_name":"Galois theory","score":0.4573374390602112},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.40206995606422424},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.4018574357032776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37575972080230713},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.25255632400512695},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10833403468132019}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7580746412277222},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7525244355201721},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.6444547772407532},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.58490389585495},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.5122836828231812},{"id":"https://openalex.org/C94398972","wikidata":"https://www.wikidata.org/wiki/Q92552","display_name":"Galois theory","level":2,"score":0.4573374390602112},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.40206995606422424},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.4018574357032776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37575972080230713},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.25255632400512695},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10833403468132019},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hldvt.2005.1568827","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2005.1568827","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.98.5055","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.5055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://csdl.computer.org/comp/proceedings/hldvt/2005/9571/00/01568827.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W252853867","https://openalex.org/W329998640","https://openalex.org/W1511864029","https://openalex.org/W1558840074","https://openalex.org/W1581936406","https://openalex.org/W1595607623","https://openalex.org/W1975335740","https://openalex.org/W2018493001","https://openalex.org/W2040075573","https://openalex.org/W2060159381","https://openalex.org/W2096076317","https://openalex.org/W2109449313","https://openalex.org/W2120548816","https://openalex.org/W2127271657","https://openalex.org/W2133727733","https://openalex.org/W2148957842","https://openalex.org/W2150472531","https://openalex.org/W2153973094","https://openalex.org/W2157099947","https://openalex.org/W2762210817","https://openalex.org/W3140369816","https://openalex.org/W4230906684","https://openalex.org/W4243823432","https://openalex.org/W4244411152","https://openalex.org/W4252457850","https://openalex.org/W6745011789"],"related_works":["https://openalex.org/W2186975062","https://openalex.org/W2377672155","https://openalex.org/W2064186082","https://openalex.org/W2587136861","https://openalex.org/W1559823796","https://openalex.org/W2386978367","https://openalex.org/W4224139647","https://openalex.org/W2142116768","https://openalex.org/W2245593676","https://openalex.org/W4248505260"],"abstract_inverted_index":{"This":[0,11],"paper":[1],"presents":[2],"a":[3],"fast":[4],"logic":[5],"simulator":[6],"based":[7,58],"on":[8],"Galois":[9],"field.":[10],"is":[12,61],"designed":[13],"to":[14,97],"act":[15],"as":[16],"an":[17,31,51],"underlying":[18],"tool":[19],"for":[20,40,53],"all":[21,35],"finite":[22,41,56],"field":[23,42,57],"applications":[24],"considering":[25],"the":[26,55,68,85],"fact":[27],"that":[28,70,88],"simulation":[29,95],"plays":[30],"important":[32],"role":[33],"in":[34,93],"these":[36],"applications.":[37],"Three":[38],"approaches":[39],"representation":[43],"and":[44,82],"its":[45],"evaluation":[46],"are":[47],"discussed.":[48],"In":[49],"addition":[50],"approach":[52],"normalizing":[54],"decision":[59],"diagrams":[60],"also":[62],"presented.":[63],"The":[64],"experimental":[65],"results":[66,86],"show":[67,87],"trade-off":[69],"can":[71,90],"be":[72,91],"made":[73],"by":[74],"using":[75],"different":[76],"design":[77],"representations":[78],"between":[79],"spatial":[80],"complexity":[81],"speed.":[83],"Also":[84],"it":[89],"used":[92],"conventional":[94],"environment":[96],"achieve":[98],"speedup.":[99]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}