GB201805722D0 - Verification of hardware design for data transformation pipeline - Google Patents

Verification of hardware design for data transformation pipeline

Info

Publication number
GB201805722D0
GB201805722D0 GBGB1805722.4A GB201805722A GB201805722D0 GB 201805722 D0 GB201805722 D0 GB 201805722D0 GB 201805722 A GB201805722 A GB 201805722A GB 201805722 D0 GB201805722 D0 GB 201805722D0
Authority
GB
United Kingdom
Prior art keywords
verification
data transformation
hardware design
transformation pipeline
pipeline
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
GBGB1805722.4A
Other versions
GB2572632B (en
GB2572632A (en
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Imagination Technologies Ltd
Original Assignee
Imagination Technologies Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Imagination Technologies Ltd filed Critical Imagination Technologies Ltd
Priority to GB1805722.4A priority Critical patent/GB2572632B/en
Publication of GB201805722D0 publication Critical patent/GB201805722D0/en
Priority to GB1818108.1A priority patent/GB2572665B/en
Priority to GB1818105.7A priority patent/GB2572664B/en
Priority to US16/372,138 priority patent/US11126771B2/en
Priority to US16/373,774 priority patent/US10719646B2/en
Priority to EP19717561.5A priority patent/EP3776281A2/en
Priority to KR1020207031790A priority patent/KR102323748B1/en
Priority to PCT/GB2019/050961 priority patent/WO2019193334A2/en
Priority to PCT/GB2019/050991 priority patent/WO2019193354A1/en
Priority to CN201980024352.1A priority patent/CN111936998B/en
Priority to KR1020207031916A priority patent/KR102282981B1/en
Priority to EP19717579.7A priority patent/EP3776282A1/en
Priority to CN201980024443.5A priority patent/CN111954884A/en
Publication of GB2572632A publication Critical patent/GB2572632A/en
Priority to US16/896,388 priority patent/US10984162B2/en
Application granted granted Critical
Publication of GB2572632B publication Critical patent/GB2572632B/en
Priority to US17/478,739 priority patent/US11663385B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/39—Circuit design at the physical level
    • G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Image Processing (AREA)
GB1805722.4A 2018-04-05 2018-04-05 Verification of hardware design for data transformation pipeline Active GB2572632B (en)

Priority Applications (15)

Application Number Priority Date Filing Date Title
GB1805722.4A GB2572632B (en) 2018-04-05 2018-04-05 Verification of hardware design for data transformation pipeline
GB1818108.1A GB2572665B (en) 2018-04-05 2018-11-06 Verification of hardware design for data transformation pipeline
GB1818105.7A GB2572664B (en) 2018-04-05 2018-11-06 Verification of hardware design for data transformation pipeline
US16/372,138 US11126771B2 (en) 2018-04-05 2019-04-01 Verification of hardware design for data transformation pipeline
US16/373,774 US10719646B2 (en) 2018-04-05 2019-04-03 Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint
PCT/GB2019/050991 WO2019193354A1 (en) 2018-04-05 2019-04-04 Verification of hardware design for data transformation pipeline
CN201980024443.5A CN111954884A (en) 2018-04-05 2019-04-04 Validation of hardware design for data transformation pipeline
PCT/GB2019/050961 WO2019193334A2 (en) 2018-04-05 2019-04-04 Verification of hardware design for data transformation pipeline
EP19717561.5A EP3776281A2 (en) 2018-04-05 2019-04-04 Verification of hardware design for data transformation pipeline
CN201980024352.1A CN111936998B (en) 2018-04-05 2019-04-04 Validation of hardware design for data transformation pipeline
KR1020207031916A KR102282981B1 (en) 2018-04-05 2019-04-04 Hardware Design Validation for Data Transformation Pipelines
EP19717579.7A EP3776282A1 (en) 2018-04-05 2019-04-04 Verification of hardware design for data transformation pipeline
KR1020207031790A KR102323748B1 (en) 2018-04-05 2019-04-04 Hardware Design Validation for Data Transformation Pipelines
US16/896,388 US10984162B2 (en) 2018-04-05 2020-06-09 Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint
US17/478,739 US11663385B2 (en) 2018-04-05 2021-09-17 Verification of hardware design for data transformation pipeline

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB1805722.4A GB2572632B (en) 2018-04-05 2018-04-05 Verification of hardware design for data transformation pipeline

Publications (3)

Publication Number Publication Date
GB201805722D0 true GB201805722D0 (en) 2018-05-23
GB2572632A GB2572632A (en) 2019-10-09
GB2572632B GB2572632B (en) 2020-09-30

Family

ID=62203008

Family Applications (1)

Application Number Title Priority Date Filing Date
GB1805722.4A Active GB2572632B (en) 2018-04-05 2018-04-05 Verification of hardware design for data transformation pipeline

Country Status (1)

Country Link
GB (1) GB2572632B (en)

Also Published As

Publication number Publication date
GB2572632B (en) 2020-09-30
GB2572632A (en) 2019-10-09

Similar Documents

Publication Publication Date Title
GB2572664B (en) Verification of hardware design for data transformation pipeline
EP3472790A4 (en) Ensuring data integrity of executed transactions
SG11202005592QA (en) Financing Methods and Apparatuses
GB2546459B (en) Data verification
GB201715546D0 (en) Integrity of data records
GB2574906B (en) Pipeline data processing
HK1249791A1 (en) Systems and methods of blockchain transaction recordation
HK1248435A1 (en) Systems and methods for bulk redaction of recorded data
SG11202112019PA (en) Verification of data fields of blockchain transactions
SG10202100763RA (en) Efficient live-migration of remotely accessed data
IL268043A (en) Connector for system for closed transfer of fluids
GB2548851B (en) Validation of the integrity of data
SG10201913970QA (en) Method and system for realizing data tracking by means of software development kit
SG11202100744VA (en) Methods and apparatuses for reading blockchain data
IL275622A (en) Methods for securing data
GB201720823D0 (en) Pipeline task verification for data processing platform
IL265907A (en) Method and system for the transmission of bioinformatics data
GB2576553B (en) Method of hologram calculation
GB201911912D0 (en) Closed system for umbilical vein access
GB201805723D0 (en) Verification of hardware design for data transformation pipeline
GB2588134B (en) Verification of hardware design for data transformation component
EP3527868C0 (en) Pipeline pig
GB2572632B (en) Verification of hardware design for data transformation pipeline
ZA202100959B (en) Relating complex data
IL274415A (en) Ezh2 inhibitor combination therapies