TCG drivers

class dsx.posix.driver.Posix

A Tcg Driver specific to mapping on a workstation.

Note

MutekHSoftDriver is a dsx.soft.driver.SoftDriver.

__init__(outdir='posix', backend='posix', parent=None, binlink=None)

Creates a PosixMutekH driver.

Parameters:

• outdir (str) – Output directory, relative to current directory or parent’s.
• backend (str) – Backend to use. Known values are “srloverhexo” (MutekS/MutekH), “posix”, and “wrapped_task” (SyntheticTask).
• parent (Driver or None) – Parent driver
• binlink (str or None) – If set, name of the symlink for the produced binary to put in root directory

• dsx.driver.Driver API:

  drive(tcg)

  See dsx.driver.Driver.drive().

  Parameters:tcg (Tcg) – a tcg

class dsx.posix.driver.PosixMutekH

A Tcg Driver specific to mapping on MutekH.

Note

PosixMutekH is a MutekHSystemDriver and uses a MutekHSoftDriver.

__init__(outdir='mutekh', parent=None, **args)

Creates a PosixMutekH driver.

Parameters:

• outdir (str) – Output directory, relative to current directory or parent’s.
• parent (Driver or None) – Parent driver

• dsx.driver.Driver API:

  drive(tcg, postlink=None)

  See dsx.driver.Driver.drive().

  Parameters:tcg (Tcg) – a tcg