Mark E Jensen

US Patent:

7305650, Dec 4, 2007

Filed:

Jun 20, 2005

Appl. No.:

11/157181

Inventors:

Mark A. Jensen - Pittsburgh PA, US

Assignee:

C2 Design Automation - Redmond WA

International Classification:

G06F 17/50

US Classification:

716 18, 716 2

Abstract:

A data path optimization element is used in a behavioral synthesis process to optimize portions of an algorithmic description of a digital logic circuit. Directives are provided in the algorithmic description to identify subsets of the algorithmic description that can be extracted and optimized. The optimization includes identification of certain operators, function calls, conditional statements, or other relationships in the subset, and then compression of the extracted subset into or more data path components in a building block. The building block thus generated is substituted back into the algorithmic description and used in subsequent operations during the behavioral synthesis process, thereby leading to a more optimum design in terms of area, performance, power characteristics, or other characteristic(s).

US Patent:

20150150303, Jun 4, 2015

Filed:

Dec 3, 2014

Appl. No.:

14/559808

Inventors:

Mark Jensen - St. George UT, US

International Classification:

A24B 15/16
A24F 47/00

Abstract:

In one embodiment, an electronic cigarette liquid (an “e-liquid”) comprises a vaporizable base, a flavoring, nicotine, and a non-nicotine stimulant. The vaporizable base may be a combination of propylene glycol, vegetable glycerin, and/or polyethylene glycol 400 and the non-nicotine stimulant may be caffeine, guarana (), kola nut (of the genus ), or some combination thereof. In another embodiment, an e-liquid may further comprise a nutritional component or supplement, such as astaxanthin.