Catalog

Patents

89 documents on graphical programs compiled onto computers and FPGAs, plus the formal-specification lineage that sits beside them.

89 shown

US4796179A
1989granted
Multirate real-time control system code generator
Visual programming
US4831580A
1989granted
Program generator
Visual programming
US4860204A
1989granted
Workstation for development of graphic representations of computer programs
Visual programming
US4901221A
1990granted
Graphical system for modelling a process and associated method
LabVIEW
US5101491A
1992granted
Synthesizing, generating and checking software from a formal description
Formal spec
US5151984A
1992granted
Block-diagram simulator using a library for generation of a computer program
Visual programming
US5301336A
1994granted
Graphical method for programming a virtual instrument
LabVIEW
US5481741A
1996granted
Method and apparatus for providing attribute nodes in a graphical data flow environment
LabVIEW
US5758122A
1998granted
Immersive visual programming system
Visual programming
US6219628B1
2001granted
Configuring an instrument using conversion of graphical programs into hardware implementations
LabVIEW
US6226776B1
2001granted
Converting hardware designs in a high-level programming language to hardware implementations
Hardware compilation
US6230307B1
2001granted
Programming FPGAs and related reconfiguration resources as if they were software
Hardware compilation
US6272672B1
2001granted
Dataflow processing with events
Visual programming
US6366300B1
2002granted
Visual programming method and system
Visual programming
EP1004085B1
2003granted
Conversion of graphical programs into hardware implementations
LabVIEW
US6584601B1
2003granted
Converting graphical programs into hardware implementations which utilize probe insertion
LabVIEW
US6608638B1
2003granted
Configuring a programmable hardware instrument; estimation of hardware implementation and resource management
LabVIEW
US6784903B2
2004granted
Configuring an instrument using conversion of graphical programs into hardware implementations
LabVIEW
US6934668B2
2005granted
Specifying and targeting portions of a graphical program for execution by multiple targets
LabVIEW
US20070225954A1
2007application
Implementing a graphical program on a programmable hardware element to configure an instrument
LabVIEW
US7177786B2
2007granted
Specifying and targeting portions of a graphical program for execution by multiple targets
LabVIEW
US7210117B2
2007granted
Programmatically generating a graphical program in response to program information
LabVIEW
US7278130B2
2007granted
Automatic software production system
Formal spec
US7334216B2
2008granted
Automatic generation of information-system user interfaces
Formal spec
WO2008075087A1
2008application
Automatically translating modelling-language code to hardware-language code
UML → HDL
US7503027B1
2009granted
Hardware description language code generation from a state diagram (related)
Simulink
US7530052B2
2009granted
Creating and executing a graphical program with a first model of computation that includes a structure supporting a second
LabVIEW
US7555742B2
2009granted
Automatic software production system
Formal spec
US7558711B2
2009granted
Generating a hardware description of a block diagram model for implementation on programmable hardware
LabVIEW
US7584451B2
2009granted
Automatic software production system
Formal spec
US20100057417A1
2010application
Hardware description from a graphical program including multiple physical domains
LabVIEW
US20100058289A1
2010application
Hardware description from a graphical program including multiple models of computation
LabVIEW
US7680632B1
2010granted
Test precondition items for automated analysis and test generation
Simulink
US7707014B2
2010granted
Implementing a data flow block diagram having a control flow node on a programmable hardware element
LabVIEW
US7729894B1
2010granted
Test postcondition items for automated analysis and test generation
Simulink
US7739671B1
2010granted
Implementation of formal specifications derived from informal requirements
Formal spec
US7743362B2
2010granted
Automatic generation of application-domain-specific graphical programs
LabVIEW
US7752559B1
2010granted
Graphical model preparation for embedded deployment
Simulink
US7836426B2
2010granted
Automatic generation of application-domain-specific graphical programs
LabVIEW
US7840913B1
2010granted
Restricting state diagrams to Moore/Mealy machines
Simulink
US7853937B2
2010granted
Object-oriented parallel language / multi-processor computer
Visual programming
US7865350B1
2010granted
Partitioning a model in modeling environments
Simulink
US7941438B2
2011granted
Automatic generation of information-system user interfaces
Formal spec
US7974823B1
2011granted
Test postcondition items for automated analysis and test generation
Simulink
US7979848B2
2011granted
Pattern matching in procedure development and verification
Formal spec
US8037449B2
2011granted
Automatic software production system
Formal spec
US20120005650A1
2012application
Hardware-specific code generation
Simulink
US8141011B1
2012granted
Hardware description language code generation from a state diagram
Simulink
US8141031B2
2012granted
Automatic software production system
Formal spec
US8146053B2
2012granted
Graphical programming environment with first model of computation supporting a second
LabVIEW
US8245183B2
2012granted
Automatic software production system
Formal spec
WO2012015496A1
2012application
Specification of isochronous data transfer in a graphical programming language
LabVIEW
WO2012016078A1
2012application
Developing programs in a graphical specification and constraint language
LabVIEW
US8365138B2
2013granted
Automatic software production system
Formal spec
US8370798B2
2013granted
Analytical software design system
Formal spec
US8397214B2
2013granted
Hardware description from a graphical program including multiple physical domains
LabVIEW
US8453111B2
2013granted
Hardware description from a graphical program including multiple models of computation
LabVIEW
US8458653B2
2013granted
Debugging a graphical program deployed on a programmable hardware element
LabVIEW
US8479156B2
2013granted
Providing target-specific information for textual code at edit time
LabVIEW
US8516436B2
2013granted
Encapsulating a graphical program within a standard image file
LabVIEW
US8701081B2
2014granted
Hardware-specific code generation from a graphical model
Simulink
US8869103B2
2014granted
Using intermediate representations to verify computer-executable code generated from a model
Simulink
US8903688B1
2014granted
Test entities for evaluation and validation of a model
Simulink
US8984496B2
2014granted
Extensible internal representation of systems with parallel and sequential implementations
Simulink
WO2014209432A1
2014application
Compilation of system designs
Simulink
US20150242193A1
2015application
Program optimization via compile-time execution
LabVIEW
US8935661B2
2015granted
Hardware description from a graphical program including multiple models of computation
LabVIEW
US8943465B2
2015granted
Analytical software design system
Formal spec
US9038036B2
2015granted
Generation of source code and executable code from formal descriptions
Formal spec
US9135143B2
2015granted
Automated analysis of compilation processes in a graphical specification and constraint language
LabVIEW
US20160170714A1
2016application
Method and system of software specification modeling
Formal spec
US10048946B2
2018granted
Converting visual diagrams into code
Visual programming
US10089081B2
2018granted
Method and/or apparatus for generating signal processing pipelines
Visual programming
US9880922B1
2018granted
Automatically generating a graphical model from a text-based program; HDL and synthesis
Simulink
US9904523B2
2018granted
Graphical development and deployment of parallel floating-point math on heterogeneous hardware
LabVIEW
US9983852B2
2018granted
Graphical specification and constraint language for developing programs for hardware implementation
LabVIEW
US10209963B2
2019granted
Parallelization of program code, interactive data visualization, and graphically-augmented code editing
Visual programming
US10248386B2
2019granted
Generating a software complex using superordinate design input
Visual programming
US10318251B1
2019granted
Code generation and simulation for graphical programming
Visual programming
US10331415B2
2019granted
Formal specification generation using examples
Visual programming
US10346140B2
2019granted
Model-based technology and process for safety-critical software development
Visual programming
US10409563B2
2019granted
Generating application code from a formal specification
Formal spec
US10572618B2
2020granted
Processing a formal specification of a digital circuit
Formal spec
US10706193B1
2020granted
Computer processing during simulation of a circuit design
Simulink
CN112306470B
2021granted
Simplified transformation and automatic verification of complex synchronous-language programs
Formal spec
US11327725B2
2022granted
Aggregating implicit and explicit event code of executable models
Simulink
US11580284B1
2023granted
Finding and analyzing deadlock conditions associated with formal verification of an electronic circuit design
Hardware compilation
US20250165232A1
2025application
Method for generating source code from a block diagram
Simulink
WO2025182189A1
2025application
Code generation device, system, and method from a control model
Simulink