Microsoft Technology Licensing, LLC

Kenneth S Reneris

Dale Alan Sather

Paul W Accisano

Thaddeus C Pritchett

Matus Lipka

Curtis Glenn Wong

Talal Ali Batrouny

Mark Gary Kupferschmidt

Janet Lynn Schneider

Michael Burt Goulding

Srinivas Raghu Gatta

Jamie Randall Kuesel

Eric J Horvitz

Kirt A Debique

David R Blythe

Matthijs Arjan Gates

David J Marsh

Daniel Vasquez Lopez

Jason Fergus Lee

Jason Michael Lee

Adam James Muff

Glenn Frederick Evans

Leonardo Esteban Blanco

Greg D Schechter

Alexander Louis Braun

Kedarnath Atmaram Dubhashi

Gregory David Swedberg

Behrooz Chitsaz

Tanvi Surti

David J Cheng

Charles Morris

Derek Martin Liddell

Sameer Avinash Nene

Brian Lee Koehler

Cheng-Yi Yen

Prashant Ratanchandani

Bernhard Kotzenberg

Gabriel Gottlieb

Michael Z Stephens

Dieter Rindle

Alison Ii

Eka Tjung

Paige Frederick

Embodiments of the present disclosure provide systems and methods to determine an inductance for each of a plurality of inductors of a superconducting circuit. The plurality of inductors are routed between a plurality of superconducting devices. An amount of coupled flux between inductors of the plurality of inductors is determined. Inductor widths along portions of the plurality of inductors are adjusted based on the inductance, the amount of coupled flux, and inductance requirements of the superconducting devices.

Inductor tuning in superconducting circuits

Systems and methods for determining critical timing paths in a superconducting circuit design including Josephson junctions are provided. An example method includes providing timing information concerning a plurality of source terminals of at least one logic gate coupled with a first sink terminal of the at least one logic gate. The method further includes using a processor, determining whether, in view of the timing information, the first sink terminal is reachable by a single flux quantum (SFQ) pulse within a predetermined range of arrival time based on an assigned first phase to the at least one logic gate.

Determining critical timing paths in a superconducting circuit design

A system and method for the automatic placement of superconducting devices determines an arrangement of a series of Josephson junctions between a start point and an end point of an inductive wiring run on a superconducting circuit layout having a plurality of discrete Josephson junction placement sites by determining costs of placing each Josephson junction of the series of Josephson junctions at the plurality of discrete Josephson junction placement sites between the start point and the end point of the inductive wiring run based at least on a comparison of a target inductance value to inductances of wires connecting to the Josephson junction and selecting sites from the plurality of discrete Josephson junction placement sites to place each Josephson junction corresponding to the arrangement of the series of Josephson junctions with the least determined cost for the inductive wiring run.

Autoplacement of superconducting devices

The present disclosure relates to routing superconducting wires in superconducting circuits and in particular to efficiently routing superconducting wires that meet inductance requirements. The superconducting wire routing technique involves modeling the target location not only as a physical location, but as a physical location (e.g., x, y, and z dimensions) combined with inductance (e.g., a target inductance range). One or more other constraints may also be included in the modeling, such as a number of wires that would need to be moved/lifted, a number of circuit-vias allowing passage through layers of the circuit, an amount of cross-coupling with other inductors, and a number of wire segments.

Routing of superconducting wires

Routing a circuit path includes selecting pixels on the circuit path based at least on penalty values associated with the pixels. Pixels on a rejected circuit path are penalized by increasing their penalty values. Re-routing a rejected circuit path allows for pixels on previously rejected paths to be considered when rerouting the rejected circuit path, rather than being eliminated outright.

Routing with soft-penalizing pixels on a found path

Systems and methods related to scheduling of tasks for execution in parallel based on geometric reach are described. An example method includes using a processor, processing information pertaining to a type of task to generate a plurality of areas of reach, where each of the plurality of areas of reach corresponds to a portion of a shared space. The method further includes using the processor, generating a plurality of inflated areas of reach by inflating each of the plurality of areas of reach based on a task-specific factor pertinent to the type of task. The method further includes automatically scheduling parallel execution of tasks associated with any of the plurality of inflated areas of reach satisfying a spatial constraint.

Scheduling of tasks for execution in parallel based on geometric reach

A system and method for placing Josephson junction splitters on a superconducting circuit layout receives a specification of locations to be connected by a number of Josephson transmission lines. The system determines, based on the specification, a topology specifying connections between the locations, the topology including a plurality of 1-to-2 Josephson junction splitter nodes. The system determines splitter node locations based at least on ranges determined from distances between adjacent range endpoints of a previous level of the topology, and the system places each of the 1-to-2 Josephson junction splitter nodes at the determined splitter node locations.

Superconductive circuit splitter placement

Systems and methods related to scheduling of tasks for execution in parallel based on geometric reach are described. An example method includes processing information pertaining to connectivity among superconducting components and nodes included in a shared floor plan to generate a plurality of areas of reach, where each of the plurality of areas of reach corresponds to a portion of the shared floor plan. The method further includes generating a plurality of inflated areas of reach by inflating each of the plurality of areas of reach based on a target inductance of wires for routing signals among the superconducting components and the nodes included in the shared floor plan. The method further includes scheduling parallel execution of tasks for routing wires among a subset of the superconducting components and the nodes within any of the plurality of inflated areas of reach satisfying a geometric constraint.

Superconducting circuit with virtual timing elements and related methods are described. A method includes specifying a superconducting circuit portion including a timing path comprising: (1) at least one logic gate to be implemented using Josephson junctions, (2) a first virtual timing element for defining a synchronization point along the timing path, and (3) a second virtual timing element for adding latency to the timing path. The method further includes synthesizing the superconducting circuit portion, where the synthesizing comprises treating the first virtual timing element as a first flip-flop and the second virtual timing element as a second flip-flop, where the first flip-flop is treated as being fixed in relation to the at least one logic gate along the timing path, but the second flip-flop is treated as being movable in relation to the at least one logic gate along the timing path.

Superconducting circuit with virtual timing elements and related methods

Systems and methods for determining timing paths and reconciling topology in a superconducting circuit design are provided. The design may include a first timing path having a first set of timing pins associated with a first timing constraint group including a first timing endpoint and a second timing endpoint. An example method includes processing the first timing constraint group to assign a first legal start time to the first timing endpoint and a second legal start time to the second timing endpoint. The method further includes inserting a first shadow element representing a first physically connected component on the timing path, where the first shadow element precedes the first timing endpoint or follows the second timing endpoint. The method further includes addressing any changes to the first legal start time or the second legal start time caused by an insertion of the first shadow element on the timing path.

Determining timing paths and reconciling topology in a superconducting circuit design

A system running on a mobile device such as a smartphone is configured to expose a user interface (UI) to enable a user to specify web pages that can be pinned to a start screen of the device. Once pinned, the user may launch a web page by voice command from any location on the UI or from within any experience that is currently being supported on the device. Thus, the user can be on a call with a friend talking about a new video game and then use a voice command to launch a web browser application on the mobile device that navigates to a pinned web page having information about the game's release date. Web pages can be readily pinned and unpinned from the start screen through the UI. When a web page is unpinned from the start screen, the system disables voice web navigation for it.

Client-side personal voice web navigation

A web-based service which provides a notification such an email to a user to facilitate managing the recording of broadcast content using a personal video recorder (PVR). The user can agree to participate in the service in exchange for emails which can provide information such as a summary of programs recorded over a few days, missed recordings, and scheduling conflicts. The notification can include targeted recommendations, targeted advertising and information about recording habits of members of a social network of the user. A notification can be provided on an urgent basis if program schedule conflicts or hardware or software problems with the user's equipment are detected. The user's equipment can include a PC-based PVR, or a PC which communicates with a separate PVR device. PC-related information such as events thrown can also be reported up to the web service.

Personal video recorder e-mail alerts and status

Detailed herein is a technology which, among other things, allows for storage and playback of interactive user elements in a television stream. In one approach to this technology, a content data stream, including a television program and a user experience element, is received. This content data stream is transformed, and the transformed data stream is examined, to identify which packets are associated with the user experience element. Those packets are then passed to a handler appropriate for the user experience element.

Extensible encoding for interactive experience elements

Growing community of inventors

Redmond, WA, United States of America

Kenneth S Reneris