Random stimuli generation of memory maps and memory allocations

Random stimuli generation of memory maps and memory allocations

A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restri...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Emek, Roy, Jaeger, Itai, Katz, Yoav Avraham
Format: Patent
Sprache:eng
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Emek, Roy
Jaeger, Itai
Katz, Yoav Avraham
description A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions.The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.
format Patent
fullrecord <record><control><sourceid>uspatents_EFH</sourceid><recordid>TN_cdi_uspatents_grants_07788610</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>07788610</sourcerecordid><originalsourceid>FETCH-uspatents_grants_077886103</originalsourceid><addsrcrecordid>eNrjZLAPSsxLyc9VKC7JzC3NyVRIT81LLUosyczPU8hPU8hNzc0vqlTITSwoVgCqg_ETc3Lyk8GKinkYWNMSc4pTeaE0N4OCm2uIs4duaXFBYklqXklxfHpRIogyMDe3sDAzNDAmQgkAgc0yNg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Random stimuli generation of memory maps and memory allocations</title><source>USPTO Issued Patents</source><creator>Emek, Roy ; Jaeger, Itai ; Katz, Yoav Avraham</creator><creatorcontrib>Emek, Roy ; Jaeger, Itai ; Katz, Yoav Avraham ; International Business Machines Corporation</creatorcontrib><description>A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions.The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.</description><language>eng</language><creationdate>2010</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7788610$$EPDF$$P50$$Guspatents$$Hfree_for_read</linktopdf><link.rule.ids>230,308,780,802,885,64039</link.rule.ids><linktorsrc>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7788610$$EView_record_in_USPTO$$FView_record_in_$$GUSPTO$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Emek, Roy</creatorcontrib><creatorcontrib>Jaeger, Itai</creatorcontrib><creatorcontrib>Katz, Yoav Avraham</creatorcontrib><creatorcontrib>International Business Machines Corporation</creatorcontrib><title>Random stimuli generation of memory maps and memory allocations</title><description>A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions.The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.</description><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2010</creationdate><recordtype>patent</recordtype><sourceid>EFH</sourceid><recordid>eNrjZLAPSsxLyc9VKC7JzC3NyVRIT81LLUosyczPU8hPU8hNzc0vqlTITSwoVgCqg_ETc3Lyk8GKinkYWNMSc4pTeaE0N4OCm2uIs4duaXFBYklqXklxfHpRIogyMDe3sDAzNDAmQgkAgc0yNg</recordid><startdate>20100831</startdate><enddate>20100831</enddate><creator>Emek, Roy</creator><creator>Jaeger, Itai</creator><creator>Katz, Yoav Avraham</creator><scope>EFH</scope></search><sort><creationdate>20100831</creationdate><title>Random stimuli generation of memory maps and memory allocations</title><author>Emek, Roy ; Jaeger, Itai ; Katz, Yoav Avraham</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-uspatents_grants_077886103</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2010</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Emek, Roy</creatorcontrib><creatorcontrib>Jaeger, Itai</creatorcontrib><creatorcontrib>Katz, Yoav Avraham</creatorcontrib><creatorcontrib>International Business Machines Corporation</creatorcontrib><collection>USPTO Issued Patents</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Emek, Roy</au><au>Jaeger, Itai</au><au>Katz, Yoav Avraham</au><aucorp>International Business Machines Corporation</aucorp><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Random stimuli generation of memory maps and memory allocations</title><date>2010-08-31</date><risdate>2010</risdate><abstract>A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions.The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_uspatents_grants_07788610
source USPTO Issued Patents
title Random stimuli generation of memory maps and memory allocations
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-03T15%3A02%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-uspatents_EFH&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=Emek,%20Roy&rft.aucorp=International%20Business%20Machines%20Corporation&rft.date=2010-08-31&rft_id=info:doi/&rft_dat=%3Cuspatents_EFH%3E07788610%3C/uspatents_EFH%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true