Inventor
FELDMAN ALEKSANDAR B
US14 patents
Patents
14 patentsUS11244097B1Feb 8, 2022
System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver
PALO ALTO RES CT INC2 citations72
US10853540B2Dec 1, 2020
Method and system for automated design and design-space exploration
PALO ALTO RES CT INC2 citations72
US11157672B1Oct 26, 2021
System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver
PALO ALTO RES CT INC1 citations62
US11934756B2Mar 19, 2024
Reducing the numerical complexity of designs
PALO ALTO RES CT INC0 citations60
US11494537B1Nov 8, 2022
Method and system for efficient testing of digital integrated circuits
PALO ALTO RES CT INC1 citations60
US11580267B2Feb 14, 2023
System and method for augmenting lumped parameter model diagnosis engine
PALO ALTO RES CT INC0 citations58
US11960273B2Apr 16, 2024
Method and architecture for AI-assisted supervision for a controlled system
PALO ALTO RES CT INC0 citations57
US11386509B2Jul 12, 2022
System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver
PALO ALTO RES CT INC0 citations51
US11137318B2Oct 5, 2021
Model-based diagnosis in frequency domain
PALO ALTO RES CT INC0 citations51
US12038478B2Jul 16, 2024
Hybrid solver for integrated circuit diagnostics and testing
PALO ALTO RES CT INC0 citations50
US12099352B2Sep 24, 2024
Methods and systems for fault diagnosis
PALO ALTO RES CT INC0 citations49
US11010520B1May 18, 2021
System and method for circuit synthesis using partial boolean quantification
PALO ALTO RES CT INC0 citations49
US12192215B2Jan 7, 2025
Method and architecture for providing integrated design of cyber-physical system with watermarking
PALO ALTO RES CT INC0 citations47
US11163919B2Nov 2, 2021
Method and system for component-based design of physical systems
PALO ALTO RES CT INC0 citations46